|
|
   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 25702-25703 | |
| (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 25701-25701 | ContraceptiveDevice est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ContraceptiveDevice "避孕器具") | domainEnglishFormat.kif 17001-17001 | |
| (termFormat ChineseTraditionalLanguage ContraceptiveDevice "避孕器具") | domainEnglishFormat.kif 17000-17000 | |
| (termFormat EnglishLanguage ContraceptiveDevice "contraceptive device") | domainEnglishFormat.kif 16999-16999 |
| 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 25705-25716 |
|
|
|
