| 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 11532-11533 | |
| (externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Horse_snout.jpg") | pictureList.kif 6736-6736 | |
| (externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ Nostrils_by_David_Shankbone.jpg") | pictureList.kif 7458-7458 | |
| (subclass Nostril AnimalAnatomicalStructure) | Mid-level-ontology.kif 11531-11531 | Nostril is a subclass of animal anatomical structure |
| (subclass Nostril BodyVessel) | Mid-level-ontology.kif 11530-11530 | Nostril is a subclass of body vessel |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41315-41315 | |
| (termFormat ChineseTraditionalLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41314-41314 | |
| (termFormat EnglishLanguage Nostril "nostril") | domainEnglishFormat.kif 41313-41313 |
| antecedent |
|
|
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 11545-11551 |
|
| 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 11535-11543 |
|
|
|
|