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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mating

Sigma KEE - Mating
Mating(mating)
put_out

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


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

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


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 23459-23459 Biological conception is internally related to mating
(subclass Raping Mating) Mid-level-ontology.kif 23514-23514 Raping is a subclass of mating
(termFormat ChineseLanguage Mating "交配") domainEnglishFormat.kif 36498-36498
(termFormat ChineseTraditionalLanguage Mating "交配") domainEnglishFormat.kif 36497-36497
(termFormat EnglishLanguage Mating "mating") domainEnglishFormat.kif 36496-36496

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 1108-1118
(=>
    (holdsDuring ?T
        (attribute ?H SexualDysfunction))
    (not
        (exists (?M)
            (and
                (instance ?M Mating)
                (agent ?M ?H)))))
Mid-level-ontology.kif 6078-6085
(=>
    (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 23474-23485


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

Show without tree


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