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 4688-4688 American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1688-1688 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 14899-14899 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1308-1308 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 6649-6649 Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 885-885 Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7326-7326 Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6603-6603 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 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 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 1703-1703 Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2483-2483 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 1910-1910 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 6619-6619 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 6632-6632 Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7397-7397 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 14897-14897 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 14936-14936 The number 1 argument of DepartmentOfPreventingFn is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1747-1747 The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1768-1768 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 2722-2722 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 20441-20441 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 20442-20442 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 2558-2558 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 20469-20469 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 20470-20470 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 2044-2044 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 2045-2045 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. FinancialOntology.kif 3571-3571 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 1806-1806 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 1267-1267 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 2934-2934 The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2963-2963 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 6598-6598 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 20447-20447 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 6165-6165 The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2080-2080 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 1986-1986 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 1676-1676 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 1760-1765
No TPTP formula. May not be expressible in strict first order. Government.kif 4621-4630
No TPTP formula. May not be expressible in strict first order. Government.kif 4467-4472
No TPTP formula. May not be expressible in strict first order. Government.kif 4455-4459
No TPTP formula. May not be expressible in strict first order. Government.kif 4443-4447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17139-17148
No TPTP formula. May not be expressible in strict first order. Government.kif 1287-1291
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 1322-1326
No TPTP formula. May not be expressible in strict first order. Government.kif 2141-2145
No TPTP formula. May not be expressible in strict first order. Government.kif 2036-2040
No TPTP formula. May not be expressible in strict first order. Government.kif 1753-1758
No TPTP formula. May not be expressible in strict first order. Government.kif 1775-1781
No TPTP formula. May not be expressible in strict first order. Government.kif 1783-1789
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 1817-1821
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 2474-2481
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 12996-13001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13033-13038

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 1678-1684
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 6095-6104
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 18631-18638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17129-17137
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 1275-1279
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 19402-19411
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 878-883
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 12764-12771
No TPTP formula. May not be expressible in strict first order. Government.kif 2088-2092
No TPTP formula. May not be expressible in strict first order. Government.kif 1993-1997
No TPTP formula. May not be expressible in strict first order. Government.kif 1009-1013
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