Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Mating
Mating(mating)
put_out

appearance as argument number 1
-------------------------


(subclass Mating OrganismProcess) Mid-level-ontology.kif 26478-26478 Mating is a subclass of organism process
(documentation Mating EnglishLanguage "Any process of sexual intercourse between two Humans or Animals.") Mid-level-ontology.kif 26479-26480 Mating is a subclass of organism process
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Pale_Grass_Blue_%28For_the_new_life%29.jpg") pictureList.kif 6691-6691 Mating is a subclass of organism process
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Tortoise_mating.jpg") pictureList.kif 7298-7298 Mating is a subclass of organism process

appearance as argument number 2
-------------------------


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 26427-26427 Biological conception is internally related to mating
(subclass Raping Mating) Mid-level-ontology.kif 26482-26482 Raping is a subclass of mating
(termFormat EnglishLanguage Mating "mating") domainEnglishFormat.kif 36515-36515 Raping is a subclass of mating
(termFormat ChineseTraditionalLanguage Mating "交配") domainEnglishFormat.kif 36516-36516 Raping is a subclass of mating
(termFormat ChineseLanguage Mating "交配") domainEnglishFormat.kif 36517-36517 Raping is a subclass of mating

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?H SexualDysfunction))
    (not
        (exists (?M)
            (and
                (instance ?M Mating)
                (agent ?M ?H)))))		 Mid-level-ontology.kif 7364-7371 If sexual dysfunction is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of mating and X is an agent of Z
(=>
    (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 26442-26453 If X is an instance of contraceptive device, then X has the purpose there exists Y such that Y is an instance of mating, X is a patient of Y, there doesn't exist Z such that Z is an instance of biological conception, and Z is a result of Y
(=>
    (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 1685-1695 If sexual pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of mating, Y takes place during the time of existence of Z, and sexual pleasure is an attribute of X holds during Y is a causes proposition of X is an agent of Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners