appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16717-16717 | False is the opposite of true |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3797-3797 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16718-16718 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16716-16716 | False is an instance of truth value |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23193-23193 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23192-23192 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23191-23191 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1817 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 682-689 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6102-6112 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 887-894 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 723-730 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18723-18729 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12787-12792 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17282-17284 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17290-17292 |
|
![]() |
![]() |