No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23372-23372 |
spouse e domesticPartner sao disjuntos |
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 |
O argumento numero 1 de spouse e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16585-16585 |
O argumento numero 2 de spouse e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16581-16581 |
spouse e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16583-16583 |
spouse e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16582-16582 |
spouse e' uma instancia de Relacao Simetrica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16580-16580 |
spouse e' uma sub-relacao de legalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16578-16578 |
spouse e' uma sub-relacao de mutualAcquaintance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16344-16344 |
spouse e' uma sub-relacao de relative |