|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1860-1860 | Normal EKG is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2806-2806 | Engine flooded is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 986-986 | Executable is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 706-706 | Expeditionary force is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30645-30645 | Fasting is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20035-20035 | Fodder is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30292-30292 | Harmless is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1830-1830 | High tea is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26581-26581 | Historical is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30114-30114 | Inhabited is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27137-27137 | International is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27102-27102 | Local is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2694-2694 | Locked is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1147-1147 | Loft style is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1771-1771 | Lunch is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 739-739 | Monophonic music is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30238-30238 | Motionless is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25739-25739 | Multilingual is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30268-30268 | Mute is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30142-30142 | Naked is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5136-5136 | New is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 950-950 | Open layout is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1167-1167 | Oversized is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 378-378 | Partial vacuum is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 745-745 | Polyphonic music is an instance 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