(=>
(instance ?OBJ SelfConnectedObject)
(side
(FrontFn ?OBJ) ?OBJ)) |
Merge.kif 883-885 |
If X is an instance of self connected object, then a side of X is the front of X |
(=>
(equal ?B
(BackFn ?O))
(not
(overlapsSpatially ?B
(FrontFn ?O)))) |
Merge.kif 914-919 |
If equal X and the back of Y, then X and the front of Y doesn't overlapsSpatially |
(=>
(instance ?F Forestock)
(exists (?S)
(and
(instance ?S Gunstock)
(part ?F
(FrontFn ?S))))) |
Mid-level-ontology.kif 1500-1506 |
If X is an instance of fore stock, then there exists Y such that Y is an instance of gun stock and X is a part of the front of Y |
(=>
(instance ?L Headlight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(FrontFn ?V))))) |
Mid-level-ontology.kif 3685-3690 |
If X is an instance of headlight, then there exists Y such that Y is an instance of vehicle and X is a part of the front of Y |
(=>
(instance ?W Windshield)
(exists (?A)
(and
(instance ?A RoadVehicle)
(part ?W
(FrontFn ?A))))) |
Mid-level-ontology.kif 4085-4090 |
If X is an instance of windshield, then there exists Y such that Y is an instance of road vehicle and X is a part of the front of Y |
(=>
(and
(instance ?R Region)
(equal ?R
(OuterBoundaryFn ?B))
(instance ?B Eyeball))
(exists (?C ?S)
(and
(part ?C ?R)
(instance ?C Cornea)
(part ?S ?R)
(instance ?S Sclera)
(meetsSpatially ?C ?S)
(equal ?C
(FrontFn ?B))))) |
Mid-level-ontology.kif 13744-13758 |
If X is an instance of region, equal X and the outer boundary of Y, and Y is an instance of eye ball, then All of the following hold: (1) there exist Z (2) W such that Z is a part of X (3) Z is an instance of cornea (4) W is a part of X (5) W is an instance of sclera (6) Z meets W (7) equal Z (8) the front of Y |
(=>
(instance ?B Breast)
(exists (?T)
(and
(instance ?T Torso)
(part ?B
(FrontFn ?T))))) |
Mid-level-ontology.kif 14450-14456 |
If X is an instance of breast, then there exists Y such that Y is an instance of torso and X is a part of the front of Y |
(=>
(and
(instance ?B Breast)
(instance ?H Human)
(part ?B ?H))
(part ?B
(FrontFn ?H))) |
Mid-level-ontology.kif 14465-14471 |
If X is an instance of breast, Y is an instance of human, and X is a part of Y, then X is a part of the front of Y |
(=>
(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 |
(=>
(and
(albumCoverImage ?A ?I)
(instance ?CD
(AlbumCopiesFn ?A ?DS))
(contains ?C ?CD))
(modalAttribute
(part ?I
(FrontFn ?C)) Likely)) |
Music.kif 316-322 |
If X is the image on Y, Z is an instance of the set of copies on W of Y, and V contains Z, then the statement X is a part of the front of V has the modal force of likely |
