Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Dorsal
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Dorsal EnglishLanguage "Belonging to or on or near the back or upper surface of an animal or organ or part; 'the dorsal fin is the vertical fin on the back of a fish and certain marine mammals'.") | Anatomy.kif 1990-1990 | |
| (instance Dorsal Attribute) | Anatomy.kif 1992-1992 | Dorsal is an instance of attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dorsal "dorsal") | Anatomy.kif 1991-1991 |
| antecedent |
|
|
| (=> (attribute ?D Dorsal) (exists (?O) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?D ?O) (equal ?B (BackFn ?O)) (meetsSpatially ?B ?D)))) |
Anatomy.kif 1994-2008 | If dorsal is an attribute of X, then there exists Y such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the back of Y and Z meets X |
|