|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 984-984 | 期间平均温度 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3344-3344 | 税前收入 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1524-1524 | beliefGroupPercentInRegion 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1037-1037 | 基准表现 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | 之间 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1905-1905 | 竞标价格 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 912-912 | 生化剂解毒剂 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10702-10702 | bodyAngle 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10376-10376 | breathingRate 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 722-722 | browserID 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4089-4089 | 购买电量 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29950-29950 | buys 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1837-1837 | 职位候选人 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24576-24576 | canonicalPlaceName 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3901-3901 | 能够 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 780-780 | capacityByArrangement 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1526-1526 | 期间面积的资本支出 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4732-4732 | 地区的地址 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4763-4763 | arearyFAX在区域内的数量 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4742-4742 | 地区的尚书邮寄地址 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4753-4753 | 区域内的尚书电话号码 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1551-1551 | 国家元首 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 818-818 | chromosomeSetCount 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16808-16808 | classmate 是 三元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3469-3469 | 收盘价 是 三元谓语 的 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