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 16462-16471 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16460-16460 | Organization is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16454-16454 | Organization is a subclass of group |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4725-4725 | American institute in taiwan is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | NASDAQ is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2990-2990 | 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 18138-18138 | The range of department is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18179-18179 | The range of Department of preventing fn is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | The range of executive branch is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16030-16030 | Business is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7584-7584 | Care organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 909-909 | Club is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8397-8397 | Commission is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7538-7538 | Communication organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | Copyright authority is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2817-2817 | Cross-functional team is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2987-2987 | Customer support is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16581-16581 | 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 16528-16528 | Government organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | Front desk is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | International organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16574-16574 | Judicial organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | Legislative organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Music.kif 965-965 | Marching band is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7554-7554 | Media organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2759-2759 | Metallurgical plant is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7567-7567 | Nonprofit 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 18136-18136 | 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 18176-18176 | The number 1 argument of Department of preventing fn is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1761-1761 | The number 1 argument of member is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1782 | 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 2766-2766 | 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 24085-24085 | 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 24086-24086 | 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 2585-2585 | 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 24113-24113 | 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 24114-24114 | 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 2753-2753 | 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 2058-2058 | 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 2059-2059 | 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 664-664 | 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 16676-16676 | The number 3 argument of colleague is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3643-3643 | 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 1820-1820 | 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 1281-1281 | 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 2966-2966 | The number 2 argument of GMB is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | 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 7533-7533 | 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 24091-24091 | 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 7098-7098 | The number 2 argument of insured is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2094 | 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 2000-2000 | The number 1 argument of legislative branch 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 1774-1779 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4492-4496 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20516-20525 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1301-1305 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
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 1336-1340 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2996-3000 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10692-10700 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1831-1835 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24967-24988 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10676-10684 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10562-10570 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10583-10595 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10572-10581 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2501-2508 |
|
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 10492-10501 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1882-1886 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7037 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13197-13208 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22109-22116 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20506-20514 |
|
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 3715-3719 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3743-3747 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1289-1293 |
|
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 22915-22924 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20334-20341 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2994-2999 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3001-3011 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 902-907 |
|
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 15905-15912 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2102-2106 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2007-2011 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1023-1027 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 951-955 |
|
![]() |
![]() |