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 16708-16708 | |
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. | Merge.kif 16706-16706 | 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 16713-16713 | The range of government is an instance of government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8330-8330 | 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 8322-8322 | 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 16691-16695 |
|
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 19542-19546 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22543-22551 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22414-22419 |
|
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 16112-16117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18261-18266 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8199-8204 |
|
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 16684-16689 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8454-8461 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6768-6778 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8128-8133 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10757-10769 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13937-13946 |
|
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 22405-22410 |
|