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. Merge.kif 16736-16740
No TPTP formula. May not be expressible in strict first order. Merge.kif 16726-16735
No TPTP formula. May not be expressible in strict first order. Merge.kif 16724-16724 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16718-16718 Organization is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4661-4661 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1677-1677 NASDA q is an instance of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2903-2903 The range of agreement organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1282-1282 The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Society.kif 114-114 AirlineAlliance is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16245-16245 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7326-7326 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1331-1331 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8148-8148 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7282-7282 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 2819-2819 Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2989-2989 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16866-16866 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 16807-16807 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1685-1685 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2457-2457 International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16856-16856 Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1884-1884 Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Music.kif 982-982 Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7297-7297 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2682-2682 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7309-7309 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8219-8219 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. Government.kif 1721-1721 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1742-1742 The number 1 argument of member role is an instance of organization
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1209-1209 The number 1 argument of PerDiemFn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2702-2702 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 21511-21511 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 21512-21512 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 2532-2532 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 21539-21539 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 21540-21540 The number 2 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 371-371 The number 2 argument of basedIn is an instance of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2755-2755 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 2018-2018 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 2019-2019 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 633-633 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 3522-3522 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 1780-1780 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 1241-1241 The number 1 argument of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Society.kif 209-209 The number 1 argument of foundingdate is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2406-2406 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7277-7277 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 21517-21517 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 6813-6813 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2054-2054 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 1960-1960 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 1665-1665 The number 2 argument of listed on 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 1734-1739
No TPTP formula. May not be expressible in strict first order. Government.kif 4595-4604
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4446
No TPTP formula. May not be expressible in strict first order. Government.kif 4429-4433
No TPTP formula. May not be expressible in strict first order. Government.kif 4417-4421
No TPTP formula. May not be expressible in strict first order. Government.kif 1261-1265
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 1296-1300
No TPTP formula. May not be expressible in strict first order. Government.kif 2115-2119
No TPTP formula. May not be expressible in strict first order. Government.kif 2010-2014
No TPTP formula. May not be expressible in strict first order. Government.kif 1727-1732
No TPTP formula. May not be expressible in strict first order. Government.kif 1749-1755
No TPTP formula. May not be expressible in strict first order. Government.kif 1757-1763
No TPTP formula. May not be expressible in strict first order. Geography.kif 2909-2913
No TPTP formula. May not be expressible in strict first order. Merge.kif 10559-10567
No TPTP formula. May not be expressible in strict first order. Government.kif 1791-1795
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 946-955
No TPTP formula. May not be expressible in strict first order. Merge.kif 10542-10550
No TPTP formula. May not be expressible in strict first order. Government.kif 2448-2455
No TPTP formula. May not be expressible in strict first order. Merge.kif 10485-10493
No TPTP formula. May not be expressible in strict first order. Merge.kif 10502-10510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13680-13685
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13717-13722

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 10444-10453
No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1658
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 6722-6731
No TPTP formula. May not be expressible in strict first order. Merge.kif 13192-13203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19551-19558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17995-18003
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 1249-1253
No TPTP formula. May not be expressible in strict first order. Society.kif 214-221
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 20459-20466
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2996-3001
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3003-3013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1324-1329
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. TravelPolicies.kif 1264-1274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13452-13459
No TPTP formula. May not be expressible in strict first order. Government.kif 2062-2066
No TPTP formula. May not be expressible in strict first order. Government.kif 1967-1971
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 944-948


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners