|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 473-473 | Premeditated 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 398-398 | Pressurized 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27161-27161 | PrivateAttribute 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1396-1396 | RedFlagSwimmingCondition 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26604-26604 | Rural 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30204-30204 | Solely 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26609-26609 | Suburban 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1183-1183 | TwoWheelDrive 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 258-258 | Udhiyah 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30190-30190 | Undamaged 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30100-30100 | Uninhabited 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26614-26614 | UrbanArea 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5123-5123 | UsedItem 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3884-3884 | VersionAttribute 是 关联属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1900-1900 | MealAttributeFn 的 range 是 关联属性 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPUStatus 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | AccountSecurityType 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | 机场分类 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | AlbumAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | 关注的区域 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | BedAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | CoffeeGrindAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | CoffeeRoastAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | 电脑状态 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30326-30326 | ConservationStatus 是 关联属性 的 subclass |
| 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