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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mating

Sigma KEE - Mating
Mating

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


(documentation Mating EnglishLanguage "Any process of sexual intercourse between two Humans or Animals.") Mid-level-ontology.kif 24153-24154
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Pale_Grass_Blue_%28For_the_new_life%29.jpg") pictureList.kif 6692-6692
(externalImage Mating "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Tortoise_mating.jpg") pictureList.kif 7299-7299
(subclass Mating OrganismProcess) Mid-level-ontology.kif 24152-24152 Mating e' uma sub-classe de Processo Organico

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


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24101-24101 BiologicalConception e' relacionado internamente por SUMO a Mating
(subclass Raping Mating) Mid-level-ontology.kif 24156-24156 Raping e' uma sub-classe de Mating
(termFormat ChineseLanguage Mating "交配") domainEnglishFormat.kif 36515-36515
(termFormat ChineseTraditionalLanguage Mating "交配") domainEnglishFormat.kif 36514-36514
(termFormat EnglishLanguage Mating "mating") domainEnglishFormat.kif 36513-36513

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 24116-24127


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