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

KB Term:  Term intersection
English Word: 

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


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

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


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

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 26342-26353 If X is an instance of contraceptive device, then X has the purpose there exists Y such that Y is an instance of mating, X is a patient of Y, there doesn't exist Z such that Z is an instance of biological conception, and Z is a result of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners