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 16462-16471
No TPTP formula. May not be expressible in strict first order. Merge.kif 16460-16460 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16454-16454 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 2990-2990 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 18138-18138 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18179-18179 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 16030-16030 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7584-7584 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 8397-8397 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7538-7538 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 2817-2817 Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2987-2987 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16581-16581 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 16528-16528 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 16574-16574 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 965-965 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7554-7554 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2759-2759 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7567-7567 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 18136-18136 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 18176-18176 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. Mid-level-ontology.kif 24085-24085 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 24086-24086 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 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. Mid-level-ontology.kif 24113-24113 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 24114-24114 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 2753-2753 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 16676-16676 The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3643-3643 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 7533-7533 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 24091-24091 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 7098-7098 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

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 20516-20525
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 2996-3000
No TPTP formula. May not be expressible in strict first order. Merge.kif 10692-10700
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 24967-24988
No TPTP formula. May not be expressible in strict first order. Merge.kif 10676-10684
No TPTP formula. May not be expressible in strict first order. Merge.kif 10562-10570
No TPTP formula. May not be expressible in strict first order. Merge.kif 10583-10595
No TPTP formula. May not be expressible in strict first order. Merge.kif 10572-10581
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 10492-10501
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 7028-7037
No TPTP formula. May not be expressible in strict first order. Merge.kif 13197-13208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22109-22116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20506-20514
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 22915-22924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20334-20341
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2994-2999
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3001-3011
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 15905-15912
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