appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3735-3737 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16854-16857 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16853-16853 | Government organization is a subclass of organization |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16848-16848 | Paramilitary organization is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18050-18050 | Private school is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4788-4788 | Department of homeland security is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4013-4013 | Federal Aviation Administration is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4758-4758 | US customs and border protection is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28835-28835 | Fema is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1287-1287 | US food and drug administration is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4770-4770 | United states department of agriculture is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4773-4773 | United states department of defense is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4815-4815 | United states department of interior is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4810-4810 | United states department of state is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4780-4780 | United states postal service is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1490-1490 | The range of cabinet is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9548-9548 | Coast guard is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4657-4657 | Diplomatic organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16878-16878 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1469-1469 | Government cabinet is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3117-3117 | Health department is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16899-16899 | Judicial organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16842-16842 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16895-16895 | Police organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9695-9695 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18046-18046 | Public school is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26321-26321 | Public school is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26320-26320 | Public school is a subclass of government 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 108-115 | An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2332-2338 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2047-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1892-1897 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16872-16876 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16859-16864 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2808-2820 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1257-1261 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16866-16870 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20515-20519 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2047-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1892-1897 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2074-2078 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1979-1983 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16872-16876 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22615-22621 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2314-2321 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17917-17922 |
|
![]() |
![]() |