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 |
sentential object is a subrelation of grammatical relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 730-730 |
sentential subject is a subrelation of grammatical relation |
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 |
|