No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23410-23410 |
mutualStranger et mutualAcquaintance sont 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 23038-23038 |
cohabitant est une sous-relation de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23015-23015 |
coworker est une sous-relation de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23003-23003 |
friend est une sous-relation de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16627-16627 |
spouse est une sous-relation de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39485-39485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39484-39484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39483-39483 |
|