|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 63-63 | Air stream is a subclass of air |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | Air stream is a subclass of flow region |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17684-17684 | Air transportation is a subclass of transportation |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3354-3354 | Air Transportation Service is a subclass of transportation service |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17816-17816 | Aircraft is a subclass of vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2457-2457 | Aircraft carrier is a subclass of military ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3296-3296 | Airline is a subclass of transportation company |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3130-3130 | Airline code map is a subclass of code map |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | Airplane is a subclass of aircraft |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2583-2583 | Airplane is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1266-1266 | Airport is a subclass of air transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | Airport is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | Airport is a subclass of transit terminal |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1347-1347 | Airport by runway surface is a subclass of airport classification |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | Airport classification is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2066-2066 | Airport shuttle is a subclass of shuttle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11716-11716 | Airway is a subclass of transitway |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14555-14555 | Akan language is a subclass of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5063-5063 | Alacalufan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | Alar part dilator naris muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25524-25524 | Alarm clock is a subclass of clock |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6717-6717 | Albanian language is a subclass of indo european language |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 49-49 | Album is a subclass of list |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | Album attribute is a subclass of relational attribute |
| 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