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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization(organization)A-team, AA, AARP, AEC, AFL, AFL-CIO, AHPCRC, AMEX, Agriculture, Agriculture_Department, Air_Corps, Alcoholics_Anonymous, American_Federation_of_Labor, American_Federation_of_Labor_and_Congress_of_Industrial_Organizations, American_Legion, American_Stock_Exchange, Apollo_program, Army_High_Performance_Computing_Research_Center, Association_for_the_Advancement_of_Retired_Persons, Atomic_Energy_Commission, Beatles, Bedlam, Black_Hand, Bourse, Boy_Scout, Bureau_of_Customs, Bureau_of_Engraving_and_Printing, Bureau_of_the_Census, CIA, CIO, Camorra, Campfire_Girl, Census_Bureau, Central_Intelligence_Agency, College_of_Cardinals, Commerce, Commerce_Department, Comptroller_of_the_Currency, Congress_of_Industrial_Organizations, Cosa_Nostra, Council_of_Economic_Advisors, Council_on_Environmental_Policy, Creek_Confederacy, Cub_Scout, Curb, Customs_Bureau, Customs_Service, DOE, Defense, Defense_Department...

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


No TPTP formula. May not be expressible in strict first order. Media.kif 35-35 Organization is disjoint from 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 16343-16352
No TPTP formula. May not be expressible in strict first order. Merge.kif 16341-16341 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16335-16335 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4717-4717 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1752-1752 NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2979-2979 The range of agreement organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17735-17735 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1319-1319 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15911-15911 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 907-907 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8044-8044 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7258-7258 Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Media.kif 1693-1693 CopyrightAuthority is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2821-2821 Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2991-2991 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16462-16462 Educational organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 17-17 Financial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16409-16409 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1716-1716 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2507-2507 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16455-16455 Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1921-1921 Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Music.kif 961-961 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7274-7274 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2757-2757 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7287-7287 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8115-8115 Organizational board is a subclass of 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 17733-17733 The number 1 argument of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17772-17772 The number 1 argument of DepartmentOfPreventingFn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1758-1758 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1779-1779 The number 1 argument of member role is an instance of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2735-2735 The number 2 argument of accommodations provider is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23579-23579 The number 1 argument of affiliated organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23580-23580 The number 2 argument of affiliated organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2582-2582 The number 1 argument of aim of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23607-23607 The number 1 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23608-23608 The number 2 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2757-2757 The number 1 argument of business unit is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2055-2055 The number 1 argument of chamber of legislature is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2056-2056 The number 2 argument of chamber of legislature is an instance of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 643-643 The number 1 argument of check-in time is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16277-16277 The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3634-3634 The number 3 argument of customer representative is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1817-1817 The number 2 argument of election for organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1278-1278 The number 1 argument of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2962-2962 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2991-2991 The number 2 argument of GMV is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7253-7253 The number 1 argument of headquarters of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23585-23585 The number 1 argument of ideological affiliation of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6802-6802 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2091-2091 The number 1 argument of judicial branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1997-1997 The number 1 argument of legislative branch is an instance of 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 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