|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4153-4153 | 之间 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4154-4154 | 之间 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4173-4173 | 在路径之间 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4174-4174 | 在路径之间 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4175-4175 | 在路径之间 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4176-4176 | 在路径之间 的 4 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1906-1906 | 竞标价格 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24254-24254 | 出生地 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 205-205 | burialplace 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3904-3904 | 能够 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 919-919 | capabilityDuring 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2689-2689 | 能够在位置 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22870-22870 | 货物 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4369-4369 | carries 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10993-10993 | 改变位置 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19359-19359 | color 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26929-26929 | conforms 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9503-9503 | 相连 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9504-9504 | 相连 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5463-5463 | 连接下游 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5464-5464 | 连接下游 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9529-9529 | 连接 的 1 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9530-9530 | 连接 的 2 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9531-9531 | 连接 的 3 数量 是 客体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1020-1020 | 容纳 的 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