Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Ventral
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Ventral EnglishLanguage "Belonging to or on or near the front or bottom part of an animal or organ or part; The opposite side of dorsal") | Anatomy.kif 2011-2011 | |
| (instance Ventral Attribute) | Anatomy.kif 2013-2013 | Ventral is an instance of attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ventral "ventral") | Anatomy.kif 2012-2012 |
| antecedent |
|
|
| (=> (attribute ?V Ventral) (exists (?O ?F) (and (or (instance ?O Organism) (instance ?O BodyPart)) (not (and (instance ?O Organism) (instance ?O BodyPart))) (part ?V ?O) (equal ?F (FrontFn ?O)) (meetsSpatially ?F ?V)))) |
Anatomy.kif 2015-2029 | If ventral is an attribute of X, then there exist Y and Z 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 front of Y and Z meets X |
|