| Mating
| |
| appearance as argument number 1 |
|
|
| (documentation Mating EnglishLanguage "Any process of sexual intercourse between two Humans or Animals.") | Mid-level-ontology.kif 25742-25743 | |
| (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 25741-25741 | Mating は 生物プロセス の subclass では |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept BiologicalConception Mating) | Mid-level-ontology.kif 25690-25690 | BiologicalConception は Mating に internally 関連して |
| (subclass Raping Mating) | Mid-level-ontology.kif 25745-25745 | Raping は Mating の subclass では |
| (termFormat ChineseLanguage Mating "交配") | domainEnglishFormat.kif 36524-36524 | Raping は Mating の subclass では |
| (termFormat ChineseTraditionalLanguage Mating "交配") | domainEnglishFormat.kif 36523-36523 | Raping は Mating の subclass では |
| (termFormat EnglishLanguage Mating "mating") | domainEnglishFormat.kif 36522-36522 | Raping は Mating の subclass では |
| 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 7346-7353 |
|
| (=> (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 25705-25716 |
|
|
|