headquartersOfOrganization |
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 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7574-7574 | 域 組織總部, 2 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7575-7575 | 例 組織總部 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | 子關係 組織總部 and 位於 |
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 是在 阿肯色州 |