|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5869-5869 | 危险 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | 位于 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | managedBy 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5891-5891 | 海上危险 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7502-7502 | 计量 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1279-1279 | 组员 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7783-7783 | 货币价值 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 907-907 | nearOrientation 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2752-2752 | 需要 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1438-1438 | objectOfBid 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 922-922 | onOrientation 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | 有一部分位于 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | 价钱 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14334-14334 | record 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16608-16608 | 注册项目 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 671-671 | reservationChannel 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25576-25576 | shape 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6135-6135 | 系统部分 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3866-3866 | 时间 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29918-29918 | uniqueIdWithRespectTo 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29919-29919 | uniqueIdWithRespectTo 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2766-2766 | 想要 的 2 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24191-24191 | weddingAnniversary 的 1 数量 是 物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | DepartmentOfFn 的 2 数量 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 501-501 | contractedRentalPrice 的 1 数量 是 物理 的 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