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 16330-16339
No TPTP formula. May not be expressible in strict first order. Merge.kif 16328-16328 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16322-16322 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4705-4705 American institute in taiwan 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 17711-17711 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1307-1307 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15898-15898 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7300-7300 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 903-903 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8040-8040 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7254-7254 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 16449-16449 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 16396-16396 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 2495-2495 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16442-16442 Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1909-1909 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 7270-7270 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 7283-7283 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8111-8111 Organizational board is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16363-16363 Political 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 17709-17709 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 17748-17748 The number 1 argument of DepartmentOfPreventingFn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1746-1746 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1767 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 23555-23555 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 23556-23556 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 2570-2570 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 23583-23583 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 23584-23584 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 2043-2043 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 2044-2044 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 16253-16253 The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1805-1805 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 1266-1266 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 7249-7249 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 23561-23561 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 6798-6798 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2079-2079 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 1985-1985 The number 1 argument of legislative branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16383-16383 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 1759-1764
No TPTP formula. May not be expressible in strict first order. Government.kif 4638-4647
No TPTP formula. May not be expressible in strict first order. Government.kif 4484-4489
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. Government.kif 4460-4464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20051-20060
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 333-338
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 1321-1325
No TPTP formula. May not be expressible in strict first order. Government.kif 2140-2144
No TPTP formula. May not be expressible in strict first order. Government.kif 2035-2039
No TPTP formula. May not be expressible in strict first order. Government.kif 1752-1757
No TPTP formula. May not be expressible in strict first order. Government.kif 1774-1780
No TPTP formula. May not be expressible in strict first order. Government.kif 1782-1788
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 10628-10636
No TPTP formula. May not be expressible in strict first order. Government.kif 1816-1820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24425-24446
No TPTP formula. May not be expressible in strict first order. Merge.kif 10612-10620
No TPTP formula. May not be expressible in strict first order. Merge.kif 10498-10506
No TPTP formula. May not be expressible in strict first order. Merge.kif 10519-10531
No TPTP formula. May not be expressible in strict first order. Merge.kif 10508-10517
No TPTP formula. May not be expressible in strict first order. Government.kif 2486-2493

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 10445-10454
No TPTP formula. May not be expressible in strict first order. Government.kif 1677-1683
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 6728-6737
No TPTP formula. May not be expressible in strict first order. Merge.kif 13092-13103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21617-21624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20041-20049
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 1274-1278
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 22388-22397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19870-19877
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 896-901
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 15483-15490
No TPTP formula. May not be expressible in strict first order. Government.kif 2087-2091
No TPTP formula. May not be expressible in strict first order. Government.kif 1992-1996
No TPTP formula. May not be expressible in strict first order. Government.kif 1008-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 936-940


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