| 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 11341-11342 | |
| (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 11340-11340 | Nostril is a subclass of animal anatomical structure |
| (subclass Nostril BodyVessel) | Mid-level-ontology.kif 11339-11339 | Nostril is a subclass of body vessel |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41279-41279 | |
| (termFormat ChineseTraditionalLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41278-41278 | |
| (termFormat EnglishLanguage Nostril "nostril") | domainEnglishFormat.kif 41277-41277 |
| antecedent |
|
|
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 11354-11360 |
|
| 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 11344-11352 |
|
|
|
|