(=>
(instance ?G Shotgun)
(exists (?B ?P)
(and
(instance ?B GunBore)
(properPart ?B ?G)
(superficialPart ?P ?B)
(orientation ?P ?B Inside)
(attribute ?P Smooth)))) |
Mid-level-ontology.kif 2012-2020 |
If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z |
(=>
(instance ?G Rifle)
(exists (?B ?P)
(and
(instance ?B GunBore)
(properPart ?B ?G)
(superficialPart ?P ?B)
(orientation ?P ?B Inside)
(not
(attribute ?P Smooth))))) |
Mid-level-ontology.kif 2029-2038 |
If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z |
(=>
(and
(instance ?SMOOTH Smoothing)
(patient ?SMOOTH ?OBJ))
(exists (?PART)
(and
(superficialPart ?PART ?OBJ)
(holdsDuring
(EndFn
(WhenFn ?SMOOTH))
(attribute ?PART Smooth))))) |
Mid-level-ontology.kif 27540-27549 |
If X is an instance of smoothing and Y is a patient of X, then there exists Z such that Z is a superficial part of Y and smooth is an attribute of Z holds during the end of the time of existence of X |
