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 7571-7572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7573-7573 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 7574-7574 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 7575-7575 headquartersOfOrganization e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7576-7576 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 4728-4728 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 5159-5159 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 4495-4495 headquartersOfOrganization GeneralMotorsCorp and UnitedStates
No TPTP formula. May not be expressible in strict first order. Cars.kif 4576-4576 headquartersOfOrganization HarleyDavidsonCorp and UnitedStates
No TPTP formula. May not be expressible in strict first order. Cars.kif 4498-4498 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 5007-5007 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 4710-4710 headquartersOfOrganization RoverGroup and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. Cars.kif 4837-4837 headquartersOfOrganization SimmonsCorp and Australia
No TPTP formula. May not be expressible in strict first order. Cars.kif 5107-5107 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