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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organization

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 16418-16427
No TPTP formula. May not be expressible in strict first order. Merge.kif 16416-16416 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16410-16410 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4725-4725 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1754-1754 NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2989-2989 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 18151-18151 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18192-18192 The range of Department of preventing fn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1322-1322 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15986-15986 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7597-7597 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 909-909 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8410-8410 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7551-7551 Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Media.kif 1707-1707 Copyright authority 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 16537-16537 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 16484-16484 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1741-1741 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2510-2510 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16530-16530 Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1924-1924 Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Music.kif 964-964 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7567-7567 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2758-2758 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7580-7580 Nonprofit organization 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 18149-18149 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 18189-18189 The number 1 argument of Department of preventing fn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1761-1761 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1782-1782 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 2766-2766 The number 2 argument of accommodations provider is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2585-2585 The number 1 argument of aim of 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 2058-2058 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 2059-2059 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 664-664 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 16689-16689 The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3640-3640 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 1820-1820 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 1281-1281 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 2966-2966 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2995-2995 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 7546-7546 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 7094-7094 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2094-2094 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 2000-2000 The number 1 argument of legislative branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1741-1741 The number 2 argument of listed on is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16820-16820 The number 1 argument of monetary wage is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17079 The number 3 argument of occupies position is an instance of organization
No TPTP formula. May not be expressible in strict first order. Media.kif 3474-3474 The number 2 argument of organization name is an instance of organization
No TPTP formula. May not be expressible in strict first order. Economy.kif 1631-1631 The number 1 argument of organization product type 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 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 20529-20538
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 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 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 2995-2999
No TPTP formula. May not be expressible in strict first order. Merge.kif 10670-10678
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. Merge.kif 10654-10662
No TPTP formula. May not be expressible in strict first order. Merge.kif 10540-10548
No TPTP formula. May not be expressible in strict first order. Merge.kif 10561-10573
No TPTP formula. May not be expressible in strict first order. Merge.kif 10550-10559
No TPTP formula. May not be expressible in strict first order. Government.kif 2501-2508
No TPTP formula. May not be expressible in strict first order. Merge.kif 10525-10533

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 10487-10496
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 7024-7033
No TPTP formula. May not be expressible in strict first order. Merge.kif 13153-13164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20519-20527
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 3715-3719
No TPTP formula. May not be expressible in strict first order. Economy.kif 3743-3747
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 20347-20354
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 902-907
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 15918-15925
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 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