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 | Skull est une sous-classe de collection |
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 |