appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3738-3738 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16730-16730 | |
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. | Merge.kif 16728-16728 | Government is a subclass of legal agent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2385-2385 | US state department is an instance of government |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16735-16735 | The range of government is an instance of government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8329-8329 | City government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | Federal housing administration is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | National government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8321-8321 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1070-1070 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1351-1351 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 280-280 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 283-283 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2432-2432 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 700-700 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 319-319 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 769-769 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 284-284 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16717 |
|
consequent |
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. | Mid-level-ontology.kif 19541-19545 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18700-18711 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22542-22550 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22413-22418 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2433-2438 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2367-2372 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2466-2471 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16111-16116 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18260-18265 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8198-8203 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1556-1561 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16711 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8453-8460 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6767-6777 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8127-8132 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10779-10791 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13936-13945 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 922-927 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22404-22409 |
|