| 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 11508-11508 | |
| (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 11507-11507 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Skull "头骨") | domainEnglishFormat.kif 53344-53344 | |
| (termFormat ChineseTraditionalLanguage Skull "頭骨") | domainEnglishFormat.kif 53343-53343 | |
| (termFormat EnglishLanguage Skull "skull") | domainEnglishFormat.kif 53342-53342 |
| 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 11526-11535 | |
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 11510-11512 |
| 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 11514-11524 |
|
|
|