No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | Geometric figure is a subclass of shape attribute |

No TPTP formula. May not be expressible in strict first order. | Merge.kif 17786-17786 | Geometric point is a subclass of geometric figure |

No TPTP formula. May not be expressible in strict first order. | Merge.kif 17791-17791 | One dimensional figure is a subclass of geometric figure |

No TPTP formula. May not be expressible in strict first order. | Merge.kif 17795-17795 | Two dimensional figure is a subclass of geometric figure |

No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | Three dimensional figure is a subclass of geometric figure |

Sigma web home Suggested Upper Merged Ontology (SUMO) web home

Sigma version 3.0 is open source software produced by Articulate Software and its partners