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 7260-7261
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7262-7262 domain headquartersOfOrganization, 1 and Organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7263-7263 domain headquartersOfOrganization, 2 and GeopoliticalArea
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7264-7264 instance headquartersOfOrganization and BinaryPredicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7265-7265 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 4709-4709 headquartersOfOrganization BritishSeagullCorp and UnitedKingdom
(headquartersOfOrganization CosworthCorp England) Cars.kif 5140-5140 headquartersOfOrganization CosworthCorp and England
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4469-4469 headquartersOfOrganization GeneralMotorsCorp and UnitedStates
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4557-4557 headquartersOfOrganization HarleyDavidsonCorp and UnitedStates
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4472-4472 headquartersOfOrganization HoldenCorporation and Australia
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4988-4988 headquartersOfOrganization PeterbiltCorp and Texas
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4691-4691 headquartersOfOrganization RoverGroup and UnitedKingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4818-4818 headquartersOfOrganization SimmonsCorp and Australia
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5088-5088 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 3.0 is open source software produced by Articulate Software and its partners