| 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 11699-11699 | |
| (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 11698-11698 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Skull "头骨") | domainEnglishFormat.kif 53377-53377 | |
| (termFormat ChineseTraditionalLanguage Skull "頭骨") | domainEnglishFormat.kif 53376-53376 | |
| (termFormat EnglishLanguage Skull "skull") | domainEnglishFormat.kif 53375-53375 |
| 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 11717-11726 | |
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 11701-11703 |
| 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 11705-11715 |
|
|
|