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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 è una sottoclasse di ProcessoOrganico

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


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24101-24101 BiologicalConception è interamente correlato a Mating
(subclass Raping Mating) Mid-level-ontology.kif 24156-24156 Raping è una sottoclasse di 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 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