| 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 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 11531-11531 | |
| (subclass Nostril BodyVessel) | Mid-level-ontology.kif 11530-11530 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41310-41310 | |
| (termFormat ChineseTraditionalLanguage Nostril "鼻孔") | domainEnglishFormat.kif 41309-41309 | |
| (termFormat EnglishLanguage Nostril "nostril") | domainEnglishFormat.kif 41308-41308 |
| 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 |
|
|
|