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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContraceptiveDevice

Sigma KEE - ContraceptiveDevice
ContraceptiveDevice(contraceptive device)
IUD, birth_control_device, cervical_cap, coil, condom, contraceptive, contraceptive_device, contraceptive_diaphragm, diaphragm, intrauterine_device, pessary, preventative, preventive, prophylactic, prophylactic_device, rubber, safe, safety

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


(documentation ContraceptiveDevice EnglishLanguage "Devices which permit sexual intercourse but which reduce the likelihood of conception.") Mid-level-ontology.kif 24113-24114
(externalImage ContraceptiveDevice "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ cc/ Condom_rolled.jpg/ 200px-Condom_rolled.jpg") pictureList.kif 1077-1077
(subclass ContraceptiveDevice Device) Mid-level-ontology.kif 24112-24112 Contraceptive device is a subclass of device

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


(termFormat ChineseLanguage ContraceptiveDevice "避孕器具") domainEnglishFormat.kif 16992-16992
(termFormat ChineseTraditionalLanguage ContraceptiveDevice "避孕器具") domainEnglishFormat.kif 16991-16991
(termFormat EnglishLanguage ContraceptiveDevice "contraceptive device") domainEnglishFormat.kif 16990-16990

antecedent
-------------------------


(=>
    (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