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 15488-15497
No TPTP formula. May not be expressible in strict first order. Merge.kif 15486-15486 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15480-15480 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 2938-2938 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 16053-16053 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 15056-15056 Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7313-7313 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 8144-8144 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7268-7268 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 2818-2818 Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2988-2988 Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15601-15601 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 15554-15554 Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1690-1690 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 15594-15594 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 7283-7283 Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Geography.kif 2716-2716 Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7296-7296 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8215-8215 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 16051-16051 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 16090-16090 The number 1 argument of DepartmentOfPreventingFn 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 2709-2709 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 21947-21947 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 21948-21948 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 21975-21975 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 21976-21976 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 2754-2754 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 7263-7263 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 21953-21953 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

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 18422-18431
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 2944-2948
No TPTP formula. May not be expressible in strict first order. Merge.kif 10063-10071
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 10047-10055
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 9994-10002
No TPTP formula. May not be expressible in strict first order. Merge.kif 10010-10018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13968-13973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14005-14010

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 9956-9965
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 12423-12434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20014-20021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18412-18420
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 20895-20902
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2995-3000
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3002-3012
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 13739-13746
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 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