(=>
(instance ?OBJ SelfConnectedObject)
(side
(BackFn ?OBJ) ?OBJ)) |
Merge.kif 903-905 |
If X is an instance of self connected object, then a side of X is the back of X |
(=>
(equal ?F
(FrontFn ?O))
(not
(overlapsSpatially ?F
(BackFn ?O)))) |
Merge.kif 907-912 |
If equal X and the front of Y, then X and the back of Y doesn't overlapsSpatially |
(=>
(instance ?B Buttstock)
(exists (?S)
(and
(instance ?S Gunstock)
(part ?B
(BackFn ?S))))) |
Mid-level-ontology.kif 1467-1473 |
If X is an instance of butt stock, then there exists Y such that Y is an instance of gun stock and X is a part of the back of Y |
(=>
(instance ?L Taillight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(BackFn ?V))))) |
Mid-level-ontology.kif 3696-3701 |
If X is an instance of taillight, then there exists Y such that Y is an instance of vehicle and X is a part of the back of Y |
(=>
(instance ?W RearWindow)
(exists (?A)
(and
(instance ?A RoadVehicle)
(part ?W
(BackFn ?A))))) |
Mid-level-ontology.kif 16780-16785 |
If X is an instance of rear window, then there exists Y such that Y is an instance of road vehicle and X is a part of the back of Y |
(=>
(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 |
(=>
(instance ?B HumanBack)
(exists (?P ?T)
(and
(instance ?P Human)
(instance ?T Torso)
(part ?T ?P)
(equal ?B
(BackFn ?T))))) |
Medicine.kif 5684-5691 |
If X is an instance of back, then there exist Y, Z such that Y is an instance of human, Z is an instance of torso, Z is a part of Y, equal X, and the back of Z |
(=>
(and
(instance ?T TailPlane)
(part ?T ?P)
(instance ?P Airplane))
(part ?T
(BackFn ?P))) |
Transportation.kif 3488-3494 |
If X is an instance of tail plane, X is a part of Y, and Y is an instance of airplane, then X is a part of the back of Y |
(=>
(and
(instance ?V VerticalStabilizer)
(part ?V ?P)
(instance ?P Airplane))
(orientation ?V
(BackFn ?P) Vertical)) |
Transportation.kif 3621-3627 |
If X is an instance of vertical stabilizer, X is a part of Y, and Y is an instance of airplane, then X is vertical to to the back of Y |
