Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  headquartersOfOrganization

 Sigma KEE - headquartersOfOrganization
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 Le nombre 1 argument de headquartersOfOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7573-7573 Le nombre 2 argument de headquartersOfOrganization est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7574-7574 headquartersOfOrganization est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7575-7575 headquartersOfOrganization est une sous-relation 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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