|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 473-473 | Premeditated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 398-398 | Pressurized is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27161-27161 | Private attribute is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1396-1396 | Red flag swimming condition is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26604-26604 | Rural is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30204-30204 | Solely is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26609-26609 | Suburban is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1183-1183 | Two wheel drive is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 258-258 | Udhiyah is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30190-30190 | Undamaged is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30100-30100 | Uninhabited is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26614-26614 | Urban is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5123-5123 | Used is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3884-3884 | Version atribute is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1900-1900 | The range of meal attribute function is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPU status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | Account security type is a subclass of relational attribute |
| 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. | Music.kif 473-473 | Album attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | Area of concern is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | Bed attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | Coffee grind attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | Coffee roast attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | Computer status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30326-30326 | Conservation status 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