|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3847-3847 | Aegilops Tauschii is a subclass of Aegilops grass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1896-1896 | Aerating is a subclass of combining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1882-1882 | Aerator is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4722-4722 | Aerius is a subclass of desloratadine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8228-8228 | Aerobic exercise device is a subclass of recreation or exercise device |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 561-561 | Aerobics is a subclass of fitness exercise |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 907-907 | Aeropress is a subclass of pot or pan |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 901-901 | Aeropress coffee is a subclass of coffee making |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7543-7543 | Aerosal is a subclass of colloid |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | Aerosal is a subclass of gas mixture |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | Aerosolized agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 291-291 | Aerosolized bacillus anthracis is a subclass of aerosolized agent |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1460-1460 | Afferent arteriole is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2571-2571 | Afforestation is a subclass of planting |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2907-2907 | Afghan afghani coin is a subclass of coin |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 52-52 | Afghan United Nations status determination is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1828-1828 | Aflatoxin is a subclass of mycotoxin |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1413-1413 | Afrikaans based creole language is a subclass of creole language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | Afro asiatic language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8788-8788 | Afternoon is a subclass of day time |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2323-2323 | Aftershock is a subclass of earth tremor |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | Age group is a subclass of group of people |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7103-7103 | Agency is a subclass of business |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3021-3021 | Agent ID is a subclass of party ID |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 164-164 | Agent patient process is a subclass of process |
| 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