(=>
(instance ?W WasherForBolt)
(hasPurpose ?W
(exists (?O1 ?O2)
(and
(instance ?O1 CorpuscularObject)
(instance ?O2 AttachingDevice)
(meetsSpatially ?O1 ?W)
(contains ?W ?O2))))) |
Cars.kif 4079-4087 |
If X is an instance of washer, then X has the purpose there exist Y, Z such that Y is an instance of corpuscular object, Z is an instance of attaching device, Y meets X, and X contains Z |
(=>
(instance ?W WasherForBolt)
(attribute ?W RingTorus)) |
Cars.kif 4089-4091 |
If X is an instance of washer, then ring torus is an attribute of X |
(=>
(instance ?W WasherForBolt)
(hasPurpose ?W
(exists (?B)
(and
(instance ?B Bolt)
(contains ?W ?B))))) |
Cars.kif 4093-4099 |
If X is an instance of washer, then X has the purpose there exists Y such that Y is an instance of bolt and X contains Y |
(=>
(instance ?W WasherForBolt)
(exists (?H)
(and
(instance ?H HoleRegion)
(equal ?W
(HoleHostFn ?H))))) |
Cars.kif 4101-4106 |
If X is an instance of washer, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y |
