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 16906-16908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16904-16904 | Le nombre 1 argument de consistent est une instance de proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16905-16905 | Le nombre 2 argument de consistent est une instance de proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16902-16902 | consistent est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16903-16903 | consistent est une instance de relation sym�trique |
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 14149-14163 |
|
consequent |