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 15439-15448
No TPTP formula. May not be expressible in strict first order. Merge.kif 15437-15437 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15431-15431 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4656-4656 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1675-1675 NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2916-2916 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 16051-16051 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1276-1276 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15010-15010 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7311-7311 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1332 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8142-8142 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7267-7267 Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 CopyrightAuthority is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2816-2816 Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2986-2986 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15552-15552 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 15505-15505 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1689-1689 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2451-2451 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15545-15545 Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1878-1878 Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Music.kif 960-960 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7282-7282 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2694-2694 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7294-7294 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8213-8213 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 16049-16049 The number 1 argument of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1715-1715 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1736-1736 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 2708-2708 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 21941-21941 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 21942-21942 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 2526-2526 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 21969-21969 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 21970-21970 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 2752-2752 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 2012-2012 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 2013-2013 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 637-637 The number 1 argument of check-in time is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3529-3529 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 1774-1774 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 1235-1235 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 2929-2929 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2958-2958 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 7262-7262 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 21947-21947 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 6797-6797 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2048-2048 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 1954-1954 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 1663-1663 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 14545-14545 The number 1 argument of monetary wage 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 1728-1733
No TPTP formula. May not be expressible in strict first order. Government.kif 4589-4598
No TPTP formula. May not be expressible in strict first order. Government.kif 4435-4440
No TPTP formula. May not be expressible in strict first order. Government.kif 4423-4427
No TPTP formula. May not be expressible in strict first order. Government.kif 4411-4415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18417-18426
No TPTP formula. May not be expressible in strict first order. Government.kif 1255-1259
No TPTP formula. May not be expressible in strict first order. Government.kif 333-338
No TPTP formula. May not be expressible in strict first order. Economy.kif 1637-1643
No TPTP formula. May not be expressible in strict first order. Economy.kif 1677-1683
No TPTP formula. May not be expressible in strict first order. Government.kif 1290-1294
No TPTP formula. May not be expressible in strict first order. Government.kif 2109-2113
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 1721-1726
No TPTP formula. May not be expressible in strict first order. Government.kif 1743-1749
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. Geography.kif 2922-2926
No TPTP formula. May not be expressible in strict first order. Merge.kif 10028-10036
No TPTP formula. May not be expressible in strict first order. Government.kif 1785-1789
No TPTP formula. May not be expressible in strict first order. Merge.kif 10012-10020
No TPTP formula. May not be expressible in strict first order. Government.kif 2442-2449
No TPTP formula. May not be expressible in strict first order. Merge.kif 9959-9967
No TPTP formula. May not be expressible in strict first order. Merge.kif 9975-9983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13966-13971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14003-14008

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 9921-9930
No TPTP formula. May not be expressible in strict first order. Government.kif 1646-1652
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 6706-6715
No TPTP formula. May not be expressible in strict first order. Merge.kif 12388-12399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20008-20015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18407-18415
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 3707-3711
No TPTP formula. May not be expressible in strict first order. Economy.kif 3733-3737
No TPTP formula. May not be expressible in strict first order. Government.kif 1243-1247
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 20889-20896
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2993-2998
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3000-3010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1325-1330
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 13737-13744
No TPTP formula. May not be expressible in strict first order. Government.kif 2056-2060
No TPTP formula. May not be expressible in strict first order. Government.kif 1961-1965
No TPTP formula. May not be expressible in strict first order. Government.kif 1001-1005
No TPTP formula. May not be expressible in strict first order. Government.kif 937-941


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