|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1860-1860 | 例 EKGNormal and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2812-2812 | 例 EngineFlooded and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 986-986 | 例 可執行 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 706-706 | 例 ExpeditionaryForce and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30633-30633 | 例 Fasting and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20034-20034 | 例 飼料 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30280-30280 | 例 Harmless and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1830-1830 | 例 HighTea and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26569-26569 | 例 Historical and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30102-30102 | 例 Inhabited and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27125-27125 | 例 International and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27090-27090 | 例 Local and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2694-2694 | 例 鎖定 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1147-1147 | 例 LoftStyle and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1771-1771 | 例 Lunch and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 739-739 | 例 單音樂 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30226-30226 | 例 Motionless and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25727-25727 | 例 Multilingual and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30256-30256 | 例 Mute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30130-30130 | 例 Naked and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5144-5144 | 例 NewItem and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 950-950 | 例 OpenLayout and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1167-1167 | 例 Oversized and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 378-378 | 例 PartialVacuum and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 745-745 | 例 和弦音樂 and RelationalAttribute |
| 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