Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Liquid
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 7571-7572
(
domain
headquartersOfOrganization
1
Organization
)
Mid-level-ontology.kif 7573-7573
(
domain
headquartersOfOrganization
2
GeopoliticalArea
)
Mid-level-ontology.kif 7574-7574
(
instance
headquartersOfOrganization
BinaryPredicate
)
Mid-level-ontology.kif 7575-7575
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7576-7576
appearance as argument number 2
(
format
ChineseLanguage
headquartersOfOrganization
"%1 的 headquarters 是在 %2 ")
domainEnglishFormat.kif 3622-3622
(
format
ChineseTraditionalLanguage
headquartersOfOrganization
"%1 的 headquarters 是在 %2 ")
domainEnglishFormat.kif 3621-3621
(
format
EnglishLanguage
headquartersOfOrganization
"the headquarters of %1 is in %2")
domainEnglishFormat.kif 3620-3620
(
termFormat
ChineseLanguage
headquartersOfOrganization
"组织总部")
domainEnglishFormat.kif 27732-27732
(
termFormat
ChineseTraditionalLanguage
headquartersOfOrganization
"組織總部")
domainEnglishFormat.kif 27731-27731
(
termFormat
EnglishLanguage
headquartersOfOrganization
"headquarters of organization")
domainEnglishFormat.kif 27730-27730
appearance as argument number 0
(
headquartersOfOrganization
Aetna
Connecticut
)
Medicine.kif 5559-5559
(
headquartersOfOrganization
AstraZeneca
England
)
Medicine.kif 4805-4805
(
headquartersOfOrganization
BritishSeagullCorp
UnitedKingdom
)
Cars.kif 4728-4728
(
headquartersOfOrganization
ByteDance
Beijing
)
ComputingBrands.kif 4608-4608
(
headquartersOfOrganization
ChineseCommunistParty
China
)
Government.kif 2274-2274
(
headquartersOfOrganization
CosworthCorp
England
)
Cars.kif 5159-5159
(
headquartersOfOrganization
EBay
California
)
ComputingBrands.kif 4674-4674
(
headquartersOfOrganization
GeneralMotorsCorp
UnitedStates
)
Cars.kif 4495-4495
(
headquartersOfOrganization
HarleyDavidsonCorp
UnitedStates
)
Cars.kif 4576-4576
(
headquartersOfOrganization
HoldenCorporation
Australia
)
Cars.kif 4498-4498
(
headquartersOfOrganization
LabCorp
NorthCarolina
)
Medicine.kif 4408-4408
(
headquartersOfOrganization
Netflix
California
)
Medicine.kif 4555-4555
(
headquartersOfOrganization
PeterbiltCorp
Texas
)
Cars.kif 5007-5007
(
headquartersOfOrganization
ProPublica
NewYorkCityUnitedStates
)
Medicine.kif 4586-4586
(
headquartersOfOrganization
RoverGroup
UnitedKingdom
)
Cars.kif 4710-4710
(
headquartersOfOrganization
SimmonsCorp
Australia
)
Cars.kif 4837-4837
(
headquartersOfOrganization
SortimoCorp
Germany
)
Cars.kif 5107-5107
(
headquartersOfOrganization
Walmart
Arkansas
)
Medicine.kif 5191-5191
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