|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1908-1908 | 竞标价格 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1686-1686 | broker 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 360-360 | businessHours 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29960-29960 | buys 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1840-1840 | 职位候选人 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4368-4368 | carries 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4444-4444 | 外交使团团长 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4447-4447 | 外交使团团长 的 4 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 965-965 | 声称领土 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 763-763 | colocatedAgent 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15903-15903 | commentator 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 893-893 | confirmedRegisteredUser 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 881-881 | contestObject 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19681-19681 | 比赛参与者 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20818-20818 | contractor 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 121-121 | corkageFee 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 458-458 | counselInCase 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13713-13713 | creator 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7721-7721 | 顾客 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 995-995 | dateUsed 的 3 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3687-3687 | 一天的电话 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23322-23322 | 欺骗性标识符 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 543-543 | deliveryRegion 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4632-4632 | 外交组织类型 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4634-4634 | 外交组织类型 的 3 数量 是 施事体 的 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