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 组织总部 的 1 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7573-7573 组织总部 的 2 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7574-7574 组织总部 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7575-7575 组织总部 是 位于 的 subrelation

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 Aetna 的 headquarters 是在 康涅狄格
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4805-4805 AstraZeneca 的 headquarters 是在 England
No TPTP formula. May not be expressible in strict first order. Cars.kif 4736-4736 BritishSeagullCorp 的 headquarters 是在 英国
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4608-4608 ByteDance 的 headquarters 是在 Beijing
No TPTP formula. May not be expressible in strict first order. Government.kif 2274-2274 ChineseCommunistParty 的 headquarters 是在 中国
No TPTP formula. May not be expressible in strict first order. Cars.kif 5167-5167 CosworthCorp 的 headquarters 是在 England
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4674-4674 EBay 的 headquarters 是在 加州
No TPTP formula. May not be expressible in strict first order. Cars.kif 4503-4503 GeneralMotorsCorp 的 headquarters 是在 美国
No TPTP formula. May not be expressible in strict first order. Cars.kif 4584-4584 HarleyDavidsonCorp 的 headquarters 是在 美国
No TPTP formula. May not be expressible in strict first order. Cars.kif 4506-4506 HoldenCorporation 的 headquarters 是在 澳大利亚
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4408-4408 LabCorp 的 headquarters 是在 北卡罗来纳
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4555-4555 Netflix 的 headquarters 是在 加州
No TPTP formula. May not be expressible in strict first order. Cars.kif 5015-5015 PeterbiltCorp 的 headquarters 是在 德州
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4586-4586 ProPublica 的 headquarters 是在 纽约市美国
No TPTP formula. May not be expressible in strict first order. Cars.kif 4718-4718 RoverGroup 的 headquarters 是在 英国
No TPTP formula. May not be expressible in strict first order. Cars.kif 4845-4845 SimmonsCorp 的 headquarters 是在 澳大利亚
No TPTP formula. May not be expressible in strict first order. Cars.kif 5115-5115 SortimoCorp 的 headquarters 是在 德国
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5191-5191 Walmart 的 headquarters 是在 阿肯色州


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