![]() |
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 16330-16339 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16328-16328 | Organization is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16322-16322 | Organization is a subclass of group |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4705-4705 | American institute in taiwan is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2979-2979 | 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 17711-17711 | The range of department is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1307-1307 | The range of executive branch is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15898-15898 | Business is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7300-7300 | Care organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 903-903 | Club is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8040-8040 | Commission is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7254-7254 | Communication organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1693-1693 | 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 16449-16449 | 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 16396-16396 | Government organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1716-1716 | Front desk is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2495-2495 | International organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16442-16442 | Judicial organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1909-1909 | Legislative organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Music.kif 961-961 | Marching band is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7270-7270 | Media organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2757-2757 | Metallurgical plant is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7283-7283 | Nonprofit organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8111-8111 | Organizational board is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16363-16363 | Political 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 17709-17709 | 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 17748-17748 | The number 1 argument of DepartmentOfPreventingFn is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1746-1746 | The number 1 argument of member is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1767 | 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 2735-2735 | 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 23555-23555 | 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 23556-23556 | 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 2570-2570 | 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 23583-23583 | 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 23584-23584 | 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 2043-2043 | 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 2044-2044 | 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. | Mid-level-ontology.kif 16253-16253 | The number 3 argument of colleague is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1805-1805 | 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 1266-1266 | 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 2962-2962 | The number 2 argument of GMB is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2991-2991 | 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 7249-7249 | 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 23561-23561 | 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 6798-6798 | The number 2 argument of insured is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2079-2079 | 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 1985-1985 | The number 1 argument of legislative branch is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16383-16383 | The number 1 argument of monetary wage 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 1759-1764 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4638-4647 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4484-4489 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4472-4476 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4460-4464 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20051-20060 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1286-1290 |
|
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 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 1321-1325 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2140-2144 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2035-2039 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1752-1757 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1774-1780 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1788 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2985-2989 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10628-10636 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1816-1820 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24425-24446 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10612-10620 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10498-10506 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10519-10531 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10508-10517 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2486-2493 |
|
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 10445-10454 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1677-1683 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1880-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6728-6737 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13092-13103 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21617-21624 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20041-20049 |
|
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 3714-3718 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3740-3744 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1274-1278 |
|
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 22388-22397 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19870-19877 |
|
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 896-901 |
|
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 15483-15490 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2087-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1992-1996 |
|
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 936-940 |
|
![]() |
![]() |