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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - headquartersOfOrganization
headquartersOfOrganization

appearance as argument number 1
-------------------------


(documentation headquartersOfOrganization EnglishLanguage "(headquartersOfOrganization ?ORG ?AREA) means that the Organization ?ORG is headquartered in ?AREA.") Mid-level-ontology.kif 7281-7282
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7283-7283 domain headquartersOfOrganization, 1 and Organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7284-7284 domain headquartersOfOrganization, 2 and GeopoliticalArea
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7285-7285 instance headquartersOfOrganization and BinaryPredicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7286-7286 subrelation headquartersOfOrganization and located

appearance as argument number 2
-------------------------


(format ChineseLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3623-3623
(format ChineseTraditionalLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3622-3622
(format EnglishLanguage headquartersOfOrganization "the headquarters of %1 is in %2") domainEnglishFormat.kif 3621-3621
(termFormat ChineseLanguage headquartersOfOrganization "组织总部") domainEnglishFormat.kif 27655-27655
(termFormat ChineseTraditionalLanguage headquartersOfOrganization "組織總部") domainEnglishFormat.kif 27654-27654
(termFormat EnglishLanguage headquartersOfOrganization "headquarters of organization") domainEnglishFormat.kif 27653-27653

appearance as argument number 0
-------------------------


(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4708-4708 headquartersOfOrganization BritishSeagullCorp and UnitedKingdom
(headquartersOfOrganization CosworthCorp England) Cars.kif 5139-5139 headquartersOfOrganization CosworthCorp and England
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4468-4468 headquartersOfOrganization GeneralMotorsCorp and UnitedStates
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4556-4556 headquartersOfOrganization HarleyDavidsonCorp and UnitedStates
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4471-4471 headquartersOfOrganization HoldenCorporation and Australia
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4987-4987 headquartersOfOrganization PeterbiltCorp and Texas
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4690-4690 headquartersOfOrganization RoverGroup and UnitedKingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4817-4817 headquartersOfOrganization SimmonsCorp and Australia
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5087-5087 headquartersOfOrganization SortimoCorp and Germany


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners