Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Skull(skull)
|  | skull |
| appearance as argument number 1 |
|
|
| (subclass Skull CollectionOfObjects) | Mid-level-ontology.kif 12980-12980 | Skull is a subclass of collection |
| (documentation Skull EnglishLanguage "The CollectionOfObjects of Bones that are found in the Heads of Vertebrates.") | Mid-level-ontology.kif 12981-12981 | Skull is a subclass of collection |
| (externalImage Skull "http://articulatesoftware.com/SUMOpictures/signs_symbol/ assorted/ assorted_3/ skull_6.png") | pictureList.kif 733-733 | Skull is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 12983-12985 | If X is an instance of skull, then bone is a member type of X |
| (=> (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 12999-13008 | If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y |
| 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 12987-12997 | If X is an instance of vertebrate, Y is an instance of head, Y is a part of X, and healthy is an attribute of X, then there exist Z, W such that Z is an instance of skull, W is a member of Z, and W is a part of Y |
| (=> (instance ?E Eyesocket) (exists (?S) (and (instance ?S Skull) (equal ?S (HoleHostFn ?E))))) |
Mid-level-ontology.kif 13701-13707 | If X is an instance of eye socket, then there exists Y such that Y is an instance of skull, equal Y, and the host of the hole X |
|