Mating(mating)![]() ![]() | ![]() | put_out |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25742-25743 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6691-6691 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7298-7298 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25741-25741 | Mating is a subclass of organism process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25690-25690 | Biological conception is internally related to mating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25745-25745 | Raping is a subclass of mating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36524-36524 | Raping is a subclass of mating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36523-36523 | Raping is a subclass of mating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36522-36522 | Raping is a subclass of mating |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1100-1110 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7346-7353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25705-25716 |
|
![]() |
![]() |