| Nostril(nostril)
| | anterior_naris, nostril |
| appearance as argument number 1 |
|
|
| (documentation Nostril EnglishLanguage "Either of two BodyVessels that run through the Nose and connect it to the Throat.") | Mid-level-ontology.kif 12210-12211 | |
| (externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Horse_snout.jpg") | pictureList.kif 6735-6735 | |
| (externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ Nostrils_by_David_Shankbone.jpg") | pictureList.kif 7457-7457 | |
| (subclass Nostril AnimalAnatomicalStructure) | Mid-level-ontology.kif 12209-12209 | Nostril is a subclass of animal anatomical structure |
| (subclass Nostril BodyVessel) | Mid-level-ontology.kif 12208-12208 | Nostril is a subclass of body vessel |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41308-41308 | |
| (termFormat ChineseTraditionalLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41307-41307 | |
| (termFormat EnglishLanguage Nostril "nostril") | domainEnglishFormat.kif 41306-41306 |
| antecedent |
|
|
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 12223-12229 |
|
| consequent |
|
|
| (=> (instance ?NOSE Nose) (exists (?N1 ?N2) (and (instance ?N1 Nostril) (instance ?N2 Nostril) (not (equal ?N1 ?N2)) (connected ?N1 ?NOSE) (connected ?N2 ?NOSE)))) |
Mid-level-ontology.kif 12213-12221 |
|
|
|
|