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