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 16701-16704 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | 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 16695-16695 | Paramilitary organization is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16662-16662 | Private school is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4827-4827 | Department of homeland security is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3107-3107 | Federal Aviation Administration is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4797-4797 | 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 26924-26924 | Fema is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1278-1278 | US food and drug administration is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4809-4809 | United states department of agriculture is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4812-4812 | United states department of defense is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4854-4854 | United states department of interior is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4849-4849 | United states department of state is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4819-4819 | United states postal service is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1528-1528 | The range of cabinet is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2139-2139 | The range of judiciary is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8341-8341 | Coast guard is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4696-4696 | Diplomatic organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1507-1507 | Government cabinet is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3116-3116 | Health department is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | Police organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8488-8488 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | Public school is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26310-26310 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26309-26309 | |
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 2371-2377 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2085-2090 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1930-1935 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16719-16723 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16711 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1295-1299 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16717 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18943-18947 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2085-2090 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1930-1935 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2112-2116 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2017-2021 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16719-16723 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20997-21003 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2353-2360 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16529-16534 |
|