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 16883-16883 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16878-16878 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16881-16881 | 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 2346-2346 | US state department is an instance of government |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16888-16888 | The range of government is an instance of government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9536-9536 | City government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1566-1566 | 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 9528-9528 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1070-1070 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1351-1351 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 748-748 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 280-280 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 283-283 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2432-2432 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 700-700 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 319-319 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 578-578 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 769-769 | State government is a subclass of government |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 284-284 | State government is a subclass of government |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16866-16870 |
|
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 21113-21117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20272-20283 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24184-24192 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24055-24060 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2450-2455 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2384-2389 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2483-2488 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17499-17504 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19832-19837 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9366-9371 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1572-1577 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16859-16864 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9660-9667 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7929-7939 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7711-7717 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9295-9300 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10895-10907 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15317 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 924-929 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24046-24051 |
|
![]() |
![]() |