|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15651-15651 | Sidewalk is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7006-7006 | Sports facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15673-15673 | Sports ground is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15063-15063 | Stairway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7909-7909 | Steeple is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | Steps is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | Swimming pool is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6842-6842 | Tomb is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | Transit terminal is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6797-6797 | Voting poll is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | WMD weapons production facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMD weapons research facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15308 | Wall is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6854-6854 | Workshop is a subclass of stationary artifact |
| 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