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 16750-16753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16749-16749 | 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 16744-16744 | Paramilitary organization is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16690-16690 | Private school is disjoint from government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4791-4791 | Department of homeland security is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3159-3159 | Federal Aviation Administration is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4761-4761 | 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 26969-26969 | Fema is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1280-1280 | US food and drug administration 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 agriculture is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4776-4776 | United states department of defense is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4818-4818 | United states department of interior is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4813-4813 | United states department of state is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4783-4783 | United states postal service is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1492-1492 | The range of cabinet is an instance of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2103-2103 | 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 8369-8369 | Coast guard is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4660-4660 | Diplomatic organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16774-16774 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1471 | 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 16738-16738 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16791-16791 | Police organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8516-8516 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16686-16686 | 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 2335-2341 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2049-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1894-1899 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16768-16772 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16755-16760 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1259-1263 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16762-16766 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18971-18975 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2049-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1894-1899 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2076-2080 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1981-1985 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16768-16772 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21025-21031 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2317-2324 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16557-16562 |
|