headquartersOfOrganization |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7570-7571 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7572-7572 | O argumento numero 1 de headquartersOfOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | O argumento numero 2 de headquartersOfOrganization e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7574-7574 | headquartersOfOrganization e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7575-7575 | headquartersOfOrganization e' uma sub-relacao de located |
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 | headquartersOfOrganization Aetna and Connecticut |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4805-4805 | headquartersOfOrganization AstraZeneca and England |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4736-4736 | headquartersOfOrganization BritishSeagullCorp and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4608-4608 | headquartersOfOrganization ByteDance and Beijing |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2274-2274 | headquartersOfOrganization ChineseCommunistParty and China |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5167-5167 | headquartersOfOrganization CosworthCorp and England |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4674-4674 | headquartersOfOrganization EBay and California |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4503-4503 | headquartersOfOrganization GeneralMotorsCorp and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4584-4584 | headquartersOfOrganization HarleyDavidsonCorp and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4506-4506 | headquartersOfOrganization HoldenCorporation and Australia |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4408-4408 | headquartersOfOrganization LabCorp and NorthCarolina |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4555-4555 | headquartersOfOrganization Netflix and California |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5015-5015 | headquartersOfOrganization PeterbiltCorp and Texas |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4586-4586 | headquartersOfOrganization ProPublica and NewYorkCityUnitedStates |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4718-4718 | headquartersOfOrganization RoverGroup and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4845-4845 | headquartersOfOrganization SimmonsCorp and Australia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5115-5115 | headquartersOfOrganization SortimoCorp and Germany |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5191-5191 | headquartersOfOrganization Walmart and Arkansas |