No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23372-23372 |
spouse et domesticPartner sont disjoint |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3713-3713 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16586-16587 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16584-16584 |
Le nombre 1 argument de spouse est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16585-16585 |
Le nombre 2 argument de spouse est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16581-16581 |
spouse est une instance de relation irr�flexive |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16583-16583 |
spouse est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16582-16582 |
spouse est une instance de relation sym�trique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16580-16580 |
spouse est une sous-relation de legalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16578-16578 |
spouse est une sous-relation de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16344-16344 |
spouse est une sous-relation de relative |