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 |
|
![]() |
![]() |