| Skull
| |
| appearance as argument number 1 |
|
|
| (documentation Skull EnglishLanguage "The Collection of Bones that are found in the Heads of Vertebrates.") | Mid-level-ontology.kif 12812-12812 | |
| (externalImage Skull "http://articulatesoftware.com/SUMOpictures/signs_symbol/ assorted/ assorted_3/ skull_6.png") | pictureList.kif 733-733 | |
| (subclass Skull Collection) | Mid-level-ontology.kif 12811-12811 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Skull "头骨") | domainEnglishFormat.kif 53346-53346 | |
| (termFormat ChineseTraditionalLanguage Skull "頭骨") | domainEnglishFormat.kif 53345-53345 | |
| (termFormat EnglishLanguage Skull "skull") | domainEnglishFormat.kif 53344-53344 |
| antecedent |
|
|
| (=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (instance ?S Skull) (attribute ?V Healthy) (member ?B ?S) (part ?B ?V)) (part ?B ?H)) |
Mid-level-ontology.kif 12830-12839 | |
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 12814-12816 |
| consequent |
|
|
| (=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (attribute ?V Healthy)) (exists (?S ?B) (and (instance ?S Skull) (member ?B ?S) (part ?B ?H)))) |
Mid-level-ontology.kif 12818-12828 |
|
|
|