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 16679-16682 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 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 16673-16673 | Paramilitary organization is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16663-16663 | 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 26936-26936 | Fema is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1279-1279 | 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 8342-8342 | 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 16703-16703 | 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 16667-16667 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16720-16720 | Police organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8489-8489 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16659-16659 | 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 16697-16701 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16684-16689 |
|
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 16691-16695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18944-18948 |
|
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 16697-16701 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20998-21004 |
|
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 16530-16535 |
|