|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 880-880 | contestObject 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1107-1107 | contestParticipantRepresentation 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3724-3724 | contrastRatio 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23429-23429 | 控制 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3847-3847 | 副本 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3848-3848 | 副本 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29744-29744 | covers 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29745-29745 | covers 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 993-993 | dateUsed 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24298-24298 | 死亡场所 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16148-16148 | describes 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 19-19 | 被拘留的时间到位 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1878-1878 | 设备状态 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2600-2600 | discovers 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7426-7426 | 不喜欢 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2778-2778 | earthAltitude 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1891-1891 | 海拔 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24309-24309 | 设备数量 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4097-4097 | eventPartlyLocated 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15723-15723 | 实验控制 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3928-3928 | 利用 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16954-16954 | 面向 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 330-330 | facility 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10023-10023 | 刚好填入 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23852-23852 | financialAsset 的 2 数量 是 客体 的 instance |
| 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