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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ContraceptiveDevice

appearance as argument number 1

(documentation ContraceptiveDevice EnglishLanguage "Devices which permit sexual intercourse but which reduce the likelihood of conception.") Mid-level-ontology.kif 20357-20358
(externalImage ContraceptiveDevice " commons/ thumb/ c/ cc/ Condom_rolled.jpg/ 200px-Condom_rolled.jpg") pictureList.kif 1078-1078
(subclass ContraceptiveDevice Device) Mid-level-ontology.kif 20356-20356

appearance as argument number 2

(termFormat ChineseLanguage ContraceptiveDevice "避孕器具") domainEnglishFormat.kif 16983-16983
(termFormat ChineseTraditionalLanguage ContraceptiveDevice "避孕器具") domainEnglishFormat.kif 16982-16982
(termFormat EnglishLanguage ContraceptiveDevice "contraceptive device") domainEnglishFormat.kif 16981-16981


    (instance ?C ContraceptiveDevice)
    (hasPurpose ?C
        (exists (?M)
                (instance ?M Mating)
                (patient ?M ?C)
                    (exists (?SR)
                            (instance ?SR BiologicalConception)
                            (result ?M ?SR))))))))
Mid-level-ontology.kif 20360-20371

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