| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7571-7572 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | 组织总部 的 1 数量 是 机构 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7574-7574 | 组织总部 的 2 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7575-7575 | 组织总部 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | 组织总部 是 位于 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3622-3622 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3621-3621 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3620-3620 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27732-27732 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27731-27731 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27730-27730 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5559-5559 | Aetna 的 headquarters 是在 康涅狄格 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4805-4805 | AstraZeneca 的 headquarters 是在 England |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4728-4728 | BritishSeagullCorp 的 headquarters 是在 英国 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4608-4608 | ByteDance 的 headquarters 是在 Beijing |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2274-2274 | ChineseCommunistParty 的 headquarters 是在 中国 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5159-5159 | CosworthCorp 的 headquarters 是在 England |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4674-4674 | EBay 的 headquarters 是在 加州 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4495-4495 | GeneralMotorsCorp 的 headquarters 是在 美国 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4576-4576 | HarleyDavidsonCorp 的 headquarters 是在 美国 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4498-4498 | HoldenCorporation 的 headquarters 是在 澳大利亚 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4408-4408 | LabCorp 的 headquarters 是在 北卡罗来纳 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4555-4555 | Netflix 的 headquarters 是在 加州 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5007-5007 | PeterbiltCorp 的 headquarters 是在 德州 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4586-4586 | ProPublica 的 headquarters 是在 纽约市美国 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4710-4710 | RoverGroup 的 headquarters 是在 英国 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4837-4837 | SimmonsCorp 的 headquarters 是在 澳大利亚 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5107-5107 | SortimoCorp 的 headquarters 是在 德国 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5191-5191 | Walmart 的 headquarters 是在 阿肯色州 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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