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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization(机构)

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


No TPTP formula. May not be expressible in strict first order. Media.kif 35-35 机构 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3720-3724
No TPTP formula. May not be expressible in strict first order. Merge.kif 16343-16352
No TPTP formula. May not be expressible in strict first order. Merge.kif 16341-16341 机构施事体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16335-16335 机构群组subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4717-4717 台湾美国研究所机构instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1752-1752 人纳斯达克机构instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2979-2979 协议组织range机构 的实例
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17735-17735 DepartmentOfFnrange机构 的实例
No TPTP formula. May not be expressible in strict first order. Government.kif 1319-1319 行政部门range机构 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 15911-15911 Business机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 护理组织机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 907-907 Club机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8044-8044 佣金机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7258-7258 沟通组织机构subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1693-1693 CopyrightAuthority机构subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2821-2821 CrossFunctionalTeam机构subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2991-2991 CustomerSupport机构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16462-16462 教育机构机构subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 17-17 金融机构机构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16409-16409 政府组织机构subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1716-1716 HotelFrontDesk机构subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2507-2507 国际组织机构subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16455-16455 司法组织机构subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 1921-1921 立法组织机构subclass
No TPTP formula. May not be expressible in strict first order. Music.kif 961-961 MarchingBand机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7274-7274 媒体组织机构subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2757-2757 冶金厂机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7287-7287 非盈利机构机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8115-8115 组织委员会机构subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17733-17733 DepartmentOfFn 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17772-17772 DepartmentOfPreventingFn 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1758-1758 会员 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1779-1779 成员角色 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2735-2735 accommodationProvider 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23579-23579 附属组织 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23580-23580 附属组织 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2582-2582 组织的目标 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23607-23607 祖先组织 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23608-23608 祖先组织 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2757-2757 businessUnit 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2055-2055 立法机关 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2056-2056 立法机关 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 643-643 checkInTime 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16277-16277 colleague 的 3 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3634-3634 客户代表 的 3 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1817-1817 选举组织 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1278-1278 行政部门 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2962-2962 grossMerchandiseBoughtInPeriod 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2991-2991 grossMerchandiseSoldInPeriod 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7253-7253 组织总部 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23585-23585 组织的意识形态归属 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6802-6802 投保 的 2 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2091-2091 司法部门 的 1 数量 是 机构instance
No TPTP formula. May not be expressible in strict first order. Government.kif 1997-1997 立法部门 的 1 数量 是 机构instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1771-1776
No TPTP formula. May not be expressible in strict first order. Government.kif 4650-4659
No TPTP formula. May not be expressible in strict first order. Government.kif 4496-4501
No TPTP formula. May not be expressible in strict first order. Government.kif 4484-4488
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20075-20084
No TPTP formula. May not be expressible in strict first order. Government.kif 1298-1302
No TPTP formula. May not be expressible in strict first order. Government.kif 345-350
No TPTP formula. May not be expressible in strict first order. Economy.kif 1644-1650
No TPTP formula. May not be expressible in strict first order. Economy.kif 1684-1690
No TPTP formula. May not be expressible in strict first order. Government.kif 1333-1337
No TPTP formula. May not be expressible in strict first order. Government.kif 2152-2156
No TPTP formula. May not be expressible in strict first order. Government.kif 2047-2051
No TPTP formula. May not be expressible in strict first order. Government.kif 1764-1769
No TPTP formula. May not be expressible in strict first order. Government.kif 1786-1792
No TPTP formula. May not be expressible in strict first order. Government.kif 1794-1800
No TPTP formula. May not be expressible in strict first order. Geography.kif 2985-2989
No TPTP formula. May not be expressible in strict first order. Merge.kif 10634-10642
No TPTP formula. May not be expressible in strict first order. Government.kif 1828-1832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24449-24470
No TPTP formula. May not be expressible in strict first order. Merge.kif 10618-10626
No TPTP formula. May not be expressible in strict first order. Merge.kif 10504-10512
No TPTP formula. May not be expressible in strict first order. Merge.kif 10525-10537
No TPTP formula. May not be expressible in strict first order. Merge.kif 10514-10523
No TPTP formula. May not be expressible in strict first order. Government.kif 2498-2505

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10451-10460
No TPTP formula. May not be expressible in strict first order. Government.kif 1689-1695
No TPTP formula. May not be expressible in strict first order. Media.kif 1880-1884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6732-6741
No TPTP formula. May not be expressible in strict first order. Merge.kif 13098-13109
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21641-21648
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20065-20073
No TPTP formula. May not be expressible in strict first order. Economy.kif 91-95
No TPTP formula. May not be expressible in strict first order. Economy.kif 3714-3718
No TPTP formula. May not be expressible in strict first order. Economy.kif 3740-3744
No TPTP formula. May not be expressible in strict first order. Government.kif 1286-1290
No TPTP formula. May not be expressible in strict first order. Government.kif 136-140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22412-22421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19894-19901
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2998-3003
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3005-3015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 900-905
No TPTP formula. May not be expressible in strict first order. Communications.kif 369-377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15507-15514
No TPTP formula. May not be expressible in strict first order. Government.kif 2099-2103
No TPTP formula. May not be expressible in strict first order. Government.kif 2004-2008
No TPTP formula. May not be expressible in strict first order. Government.kif 1020-1024
No TPTP formula. May not be expressible in strict first order. Government.kif 948-952


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