consistent |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3784-3785 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16928-16930 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16926-16926 | 域 一貫, 1 and Proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16927-16927 | 域 一貫, 2 and Proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16924-16924 | 例 一貫 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16925-16925 | 例 一貫 and SymmetricRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 536-536 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 535-535 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 534-534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16698-16698 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16697-16697 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16696-16696 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14148-14162 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13849-13856 | 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2244-2252 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13861-13868 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29679-29691 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13179-13192 |
|