(=>
(instance ?B Basket)
(exists (?WARP ?WEFT)
(and
(part ?WARP ?B)
(part ?WEFT ?B)
(traverses ?WARP ?WEFT)
(not
(equal ?WARP ?WEFT))))) |
Mid-level-ontology.kif 5101-5109 |
If X is an instance of basket, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y traverses Z, equal Y, and Z |
(=>
(instance ?W Wickering)
(hasPurpose ?W
(exists (?WICK ?OBJ ?WARP ?WEFT)
(and
(instance ?WICK Wicker)
(patient ?W ?WICK)
(part ?WARP ?WICK)
(part ?WEFT ?WICK)
(traverses ?WARP ?WEFT)
(not
(equal ?WARP ?WEFT))
(result ?W ?OBJ)
(instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 5218-5231 |
If X is an instance of wickering, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of wicker (3) Y is a patient of X (4) W is a part of Y (5) V is a part of Y (6) W traverses V (7) equal W (8) V (9) Z is a result of X (10) Z is an instance of artifact |
(=>
(instance ?DAM Dam)
(exists (?RIVER)
(and
(instance ?RIVER WaterArea)
(traverses ?DAM ?RIVER)))) |
Geography.kif 7217-7222 |
If X is an instance of dam, then there exists Y such that Y is an instance of water area and X traverses Y |
(=>
(holdsDuring ?T
(attribute ?H OpenFracture))
(exists (?S ?B)
(and
(instance ?S Skin)
(part ?S ?H)
(instance ?B Bone)
(part ?B ?H)
(holdsDuring ?T
(traverses ?B ?S))))) |
Medicine.kif 6175-6185 |
If open fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of skin, Z is a part of X, W is an instance of bone, W is a part of X, and W traverses Z holds during Y |
