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 不相交的 Organization and Human
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 16612-16621
No TPTP formula. May not be expressible in strict first order. Merge.kif 16610-16610 子類 Organization and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16604-16604 子類 Organization and Group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4725-4725 台灣美國研究所 and Organization
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5591-5591 BlueCrossBlueShield and Organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1740-1740 人納斯達克 and Organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 3057-3057 範圍 協議組織 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18325-18325 範圍 DepartmentOfFn and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18397-18397 範圍 DepartmentOfPreventingFn and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1322-1322 範圍 行政部門 and Organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 子類 Business and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7624-7624 子類 護理組織 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 942-942 子類 Club and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8437-8437 子類 佣金 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7578-7578 子類 溝通組織 and Organization
No TPTP formula. May not be expressible in strict first order. Media.kif 1707-1707 子類 CopyrightAuthority and Organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2611-2611 子類 CrossFunctionalTeam and Organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2781-2781 子類 CustomerSupport and Organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16731-16731 子類 EducationalOrganization and Organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 17-17 子類 金融機構 and Organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16678-16678 子類 政府組織 and Organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1741-1741 子類 HotelFrontDesk and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2510-2510 子類 國際組織 and Organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16724-16724 子類 司法組織 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1924-1924 子類 立法組織 and Organization
No TPTP formula. May not be expressible in strict first order. Music.kif 966-966 子類 MarchingBand and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7594-7594 子類 媒體組織 and Organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2754-2754 子類 冶金廠 and Organization

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 18323-18323 DepartmentOfFn, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18394-18394 DepartmentOfPreventingFn, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1761-1761 會員, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1782-1782 成員角色, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2766-2766 accommodationProvider, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24140-24140 附屬組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24141-24141 附屬組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2585-2585 組織的目標, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24168-24168 祖先組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24169-24169 祖先組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2547-2547 businessUnit, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2058-2058 立法機關, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2059-2059 立法機關, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 664-664 checkInTime, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16833-16833 同事關係, 3 and Organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3630-3630 客戶代表, 3 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1820-1820 選舉組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1281-1281 行政部門, 1 and Organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2965-2965 grossMerchandiseBoughtInPeriod, 2 and Organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2994-2994 grossMerchandiseSoldInPeriod, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7573-7573 組織總部, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24146-24146 組織的意識形態歸屬, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7138-7138 投保, 2 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2094-2094 司法部門, 1 and Organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2000-2000 立法部門, 1 and Organization

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 1774-1779
No TPTP formula. May not be expressible in strict first order. Government.kif 4658-4667
No TPTP formula. May not be expressible in strict first order. Government.kif 4504-4509
No TPTP formula. May not be expressible in strict first order. Government.kif 4492-4496
No TPTP formula. May not be expressible in strict first order. Government.kif 4480-4484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20734-20743
No TPTP formula. May not be expressible in strict first order. Government.kif 1301-1305
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 1633-1639
No TPTP formula. May not be expressible in strict first order. Economy.kif 1673-1679
No TPTP formula. May not be expressible in strict first order. Government.kif 1336-1340
No TPTP formula. May not be expressible in strict first order. Government.kif 2155-2159
No TPTP formula. May not be expressible in strict first order. Government.kif 2050-2054
No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1772
No TPTP formula. May not be expressible in strict first order. Government.kif 1789-1795
No TPTP formula. May not be expressible in strict first order. Government.kif 1797-1803
No TPTP formula. May not be expressible in strict first order. Geography.kif 3063-3067
No TPTP formula. May not be expressible in strict first order. Merge.kif 10740-10748
No TPTP formula. May not be expressible in strict first order. Government.kif 1831-1835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25093-25114
No TPTP formula. May not be expressible in strict first order. Merge.kif 10724-10732
No TPTP formula. May not be expressible in strict first order. Merge.kif 10610-10618
No TPTP formula. May not be expressible in strict first order. Merge.kif 10631-10643
No TPTP formula. May not be expressible in strict first order. Merge.kif 10620-10629
No TPTP formula. May not be expressible in strict first order. Government.kif 2501-2508

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 10540-10549
No TPTP formula. May not be expressible in strict first order. Government.kif 1692-1698
No TPTP formula. May not be expressible in strict first order. Media.kif 1882-1886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7068-7077
No TPTP formula. May not be expressible in strict first order. Merge.kif 13338-13349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22160-22167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20724-20732
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 3704-3708
No TPTP formula. May not be expressible in strict first order. Economy.kif 3732-3736
No TPTP formula. May not be expressible in strict first order. Government.kif 1289-1293
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 22965-22974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20552-20559
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2788-2793
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2795-2805
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3089-3096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 935-940
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 16058-16065
No TPTP formula. May not be expressible in strict first order. Government.kif 2102-2106
No TPTP formula. May not be expressible in strict first order. Government.kif 2007-2011
No TPTP formula. May not be expressible in strict first order. Government.kif 1023-1027
No TPTP formula. May not be expressible in strict first order. Government.kif 951-955


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