No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23343-23343 |
stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51-51 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50-50 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16555-16555 |
mutual acquaintance is a subrelation of acquaintance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5328-5328 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5327-5327 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5326-5326 |
|