No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1117-1117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1116-1116 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1115-1115 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 722-722 |
sententialObject est une sous-relation de grammaticalRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 730-730 |
sententialSubject est une sous-relation de grammaticalRelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26382-26382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26381-26381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26380-26380 |
|