| 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 24344-24345 | |
| (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 24343-24343 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ContraceptiveDevice "避孕器具") | domainEnglishFormat.kif 17003-17003 | |
| (termFormat ChineseTraditionalLanguage ContraceptiveDevice "避孕器具") | domainEnglishFormat.kif 17002-17002 | |
| (termFormat EnglishLanguage ContraceptiveDevice "contraceptive device") | domainEnglishFormat.kif 17001-17001 |
| 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 24347-24358 |
|
|
|