|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3780-3780 | Economic role is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 446-446 | Environment software attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4003-4003 | Financial account status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2496-2496 | Financial rating is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5381-5381 | Gram stain is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1203-1203 | Hotel level attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 973-973 | Hotel room attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | Industry attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1804-1804 | Investment attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6225-6225 | Land vegetation attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | Legal agent is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 803-803 | Legal system attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1830-1830 | Liquidity attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31032-31032 | Measurement attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | Member status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | Music genre is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | Normative attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17614-17614 | Perceptual attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4180-4180 | Plant attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | Politico economic attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Positional attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | Prepared food attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | Priority attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 783-783 | Process 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