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 24095-24096
(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 24094-24094 Mating è una sottoclasse di ProcessoOrganico

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


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24043-24043 BiologicalConception è interamente correlato a Mating
(subclass Raping Mating) Mid-level-ontology.kif 24098-24098 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 6408-6415
(=>
    (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 24058-24069


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