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 Organization is disjoint from human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16772-16781 Organization is disjoint from human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16770-16770 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16764-16764 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4686-4686 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5600-5600 Blue Cross Blue Shield is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1757-1757 NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 3045-3045 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 19896-19896 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19968-19968 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 1284-1284 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16340-16340 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8791-8791 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 935-935 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9643-9643 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8745-8745 Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Media.kif 1709-1709 Copyright authority is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2611-2611 Cross_functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2781-2781 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16891-16891 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 16838-16838 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1752-1752 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2471-2471 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1886-1886 Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Music.kif 968-968 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8761-8761 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2742-2742 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8774-8774 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 19894-19894 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 19965-19965 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 1723-1723 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1744-1744 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 2777-2777 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 25788-25788 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 25789-25789 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 2546-2546 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 25816-25816 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 25817-25817 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 2547-2547 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 2020-2020 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 2021-2021 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 668-668 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 18220-18220 The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3648 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 1782-1782 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 1243-1243 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 2968-2968 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2997-2997 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 8740-8740 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 25794-25794 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 8299-8299 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2056-2056 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 1962-1962 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 1736-1741
No TPTP formula. May not be expressible in strict first order. Government.kif 4619-4628
No TPTP formula. May not be expressible in strict first order. Government.kif 4465-4470
No TPTP formula. May not be expressible in strict first order. Government.kif 4453-4457
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22351-22360
No TPTP formula. May not be expressible in strict first order. Government.kif 1263-1267
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 1758-1764
No TPTP formula. May not be expressible in strict first order. Economy.kif 1798-1804
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 2116-2120
No TPTP formula. May not be expressible in strict first order. Government.kif 2012-2016
No TPTP formula. May not be expressible in strict first order. Government.kif 1729-1734
No TPTP formula. May not be expressible in strict first order. Government.kif 1751-1757
No TPTP formula. May not be expressible in strict first order. Government.kif 1759-1765
No TPTP formula. May not be expressible in strict first order. Geography.kif 3051-3055
No TPTP formula. May not be expressible in strict first order. Merge.kif 10863-10871
No TPTP formula. May not be expressible in strict first order. Government.kif 1793-1797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26757-26778
No TPTP formula. May not be expressible in strict first order. Merge.kif 10847-10855
No TPTP formula. May not be expressible in strict first order. Merge.kif 10733-10741
No TPTP formula. May not be expressible in strict first order. Merge.kif 10754-10766
No TPTP formula. May not be expressible in strict first order. Merge.kif 10743-10752
No TPTP formula. May not be expressible in strict first order. Government.kif 2462-2469

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 10663-10672
No TPTP formula. May not be expressible in strict first order. Government.kif 1654-1660
No TPTP formula. May not be expressible in strict first order. Media.kif 1884-1888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8229-8238
No TPTP formula. May not be expressible in strict first order. Merge.kif 13477-13488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23803-23810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22341-22349
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 4041-4045
No TPTP formula. May not be expressible in strict first order. Economy.kif 4069-4073
No TPTP formula. May not be expressible in strict first order. Government.kif 1251-1255
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 24608-24617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22169-22176
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 3090-3097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 928-933
No TPTP formula. May not be expressible in strict first order. Communications.kif 414-422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17445-17452
No TPTP formula. May not be expressible in strict first order. Government.kif 2064-2068
No TPTP formula. May not be expressible in strict first order. Government.kif 1969-1973
No TPTP formula. May not be expressible in strict first order. Government.kif 985-989
No TPTP formula. May not be expressible in strict first order. Government.kif 913-917


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