Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 26378-26378 Mating is a subclass of organism process
(documentation Mating EnglishLanguage "Any process of sexual intercourse between two Humans or Animals.") Mid-level-ontology.kif 26379-26380 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 26327-26327 Biological conception is internally related to mating
(subclass Raping Mating) Mid-level-ontology.kif 26382-26382 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 7497-7504 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 26342-26353 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 1844-1854 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners