No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23358-23358 |
mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1767-1767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1766-1766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1765-1765 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22986-22986 |
cohabitant is a subrelation of mutual acquaintance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22963-22963 |
coworker is a subrelation of mutual acquaintance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22951-22951 |
friend is a subrelation of mutual acquaintance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16556-16556 |
spouse is a subrelation of mutual acquaintance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39483-39483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39482-39482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39481-39481 |
|