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 24096-24097
(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 24095-24095 子類 交配 and OrganismProcess

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


(relatedInternalConcept BiologicalConception Mating) Mid-level-ontology.kif 24044-24044 相關的內部概念 生物學概念 and 交配
(subclass Raping Mating) Mid-level-ontology.kif 24099-24099 子類 性侵 and 交配
(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 6409-6416
(=>
    (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 24059-24070


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