spouse |
appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4594-4594 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4593-4593 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4592-4592 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54798-54798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54797-54797 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54796-54796 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23151-23158 | stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1426-1431 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1415-1420 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22306-22320 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1025-1034 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7964-7969 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14169-14175 |
|