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). 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 contorno (B-rep - Boundary Representation), 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 Assistido por Computador), CAM (Computer-Aided Manufacturing - Manufatura Assistida por Computador) e CAE (Computer-Aided Engineering - Engenharia Assistida por Computador) para representar geometrias 3D complexas. 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 oferece uma base robusta e precisa para a modelagem de sólidos, e o formato de arquivo .sat serve como um meio comum de armazenar e transferir modelos criados com este kernel.