|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15650-15650 | Sidewalk e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | SportsFacility e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15672-15672 | SportsGround e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15062-15062 | Stairway e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7908-7908 | Steeple e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15086-15086 | Steps e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | SwimmingPool e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6841-6841 | Tomb e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | TransitTerminal e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6796-6796 | VotingPoll e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | WMDWeaponsProductionFacility e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMDWeaponsResearchFacility e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15307-15307 | Wall e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6853-6853 | Workshop e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1050-1050 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1311-1311 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 728-728 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 262-262 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2412-2412 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 680-680 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 298-298 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 749-749 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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