|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13503-13503 | Aghu group language is a subclass of awyu language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13956-13956 | Agreement is a subclass of proposition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20837-20837 | Agriculture is a subclass of maintaining |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 141-141 | Aikido is a subclass of martial arts |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2076-2076 | Aioli is a subclass of sauce |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14817-14817 | Air is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 969-969 | Air attack missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25976-25976 | Air conditioner is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2007-2007 | Air conditioning compressor is a subclass of compressor |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2051-2051 | Air conditioning condenser is a subclass of machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2075-2075 | Air conditioning evaporator is a subclass of machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2182-2182 | Air cooling system is a subclass of engine cooling system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 938-938 | Air filter is a subclass of filter |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8349-8349 | Air force is a subclass of military service |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 798-798 | Air force- branch of service is a subclass of military organization |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | Air intake is a subclass of tube |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | Air launch missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 743-743 | Air photographic reconnaissance is a subclass of air reconnaissance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1829-1829 | AirPlay is a subclass of wireless network |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2479-2479 | Air pollution is a subclass of pollution |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1872-1872 | AirPrint is a subclass of computer network |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25496-25496 | Air pump is a subclass of pump |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3096-3096 | AirQualityAQIAttribute is a subclass of attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 730-730 | Air reconnaissance is a subclass of reconnaissance operation |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2996-2996 | Air route is a subclass of transit route |
| 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