| 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 24055-24056 | |
| (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 24054-24054 | 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 24058-24069 |
|
|
|
|