A extensão de arquivo .sat está associada ao ACIS, um kernel de modelagem geométrica desenvolvido pela Spatial Corporation (agora parte da Dassault Systèmes). Os arquivos SAT armazenam modelos sólidos 3D representados usando as estruturas de dados do kernel ACIS. Esses modelos são definidos por técnicas de representação de fronteira (Boundary Representation - B-rep), que descrevem a forma do objeto através de suas superfícies, arestas e vértices. O formato é amplamente utilizado em aplicações CAD (Computer-Aided Design - Projeto Auxiliado por Computador), CAM (Computer-Aided Manufacturing - Fabricação Auxiliada por Computador) e CAE (Computer-Aided Engineering - Engenharia Auxiliada por Computador) para representar geometrias 3D complexas. Os arquivos SAT são tipicamente baseados em ASCII, o que os torna relativamente fáceis de analisar (parse) e trocar entre diferentes pacotes de software que suportam o kernel ACIS. O formato suporta várias entidades geométricas, incluindo curvas, superfícies, sólidos e montagens. É um padrão bem estabelecido para a troca de dados de modelos 3D entre diferentes sistemas CAD, facilitando a interoperabilidade e a colaboração em fluxos de trabalho de engenharia. O próprio kernel ACIS fornece uma base robusta e precisa para a modelagem de sólidos, e o formato de arquivo .sat serve como um meio comum para armazenar e transferir modelos criados com este kernel.