Mating |
appearance as argument number 1 |
(documentation Mating EnglishLanguage "Any process of sexual intercourse between two Humans or Animals.") | Mid-level-ontology.kif 24384-24385 | |
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Pale_Grass_Blue_%28For_the_new_life%29.jpg") | pictureList.kif 6691-6691 | |
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Tortoise_mating.jpg") | pictureList.kif 7298-7298 | |
(subclass Mating OrganismProcess) | Mid-level-ontology.kif 24383-24383 |
appearance as argument number 2 |
(relatedInternalConcept BiologicalConception Mating) | Mid-level-ontology.kif 24332-24332 | |
(subclass Raping Mating) | Mid-level-ontology.kif 24387-24387 | |
(termFormat ChineseLanguage Mating "交配") | domainEnglishFormat.kif 36544-36544 | |
(termFormat ChineseTraditionalLanguage Mating "交配") | domainEnglishFormat.kif 36543-36543 | |
(termFormat EnglishLanguage Mating "mating") | domainEnglishFormat.kif 36542-36542 |
consequent |
(=> (holdsDuring ?T (attribute ?A SexualPleasure)) (exists (?M) (and (instance ?M Mating) (during ?T (WhenFn ?M)) (causesProposition (agent ?M ?A) (holdsDuring ?T (attribute ?A SexualPleasure)))))) |
emotion.kif 1100-1110 | |
(=> (holdsDuring ?T (attribute ?H SexualDysfunction)) (not (exists (?M) (and (instance ?M Mating) (agent ?M ?H))))) |
Mid-level-ontology.kif 6403-6410 | |
(=> (instance ?C ContraceptiveDevice) (hasPurpose ?C (exists (?M) (and (instance ?M Mating) (patient ?M ?C) (not (exists (?SR) (and (instance ?SR BiologicalConception) (result ?M ?SR)))))))) |
Mid-level-ontology.kif 24347-24358 |