Aaron Shaw Terence Ramos Shinjo Melosh kenan ozdamar 5. Given a physical composite object b that is a Bike. We can use predicates Wheel(), Frame(), relations Attached() and PartOf() to create a KB representation of a Bike. First we state the predicates Wheel(w1), Wheel(w2) and Frame(f). Given those, we give the relationships of the wheels to the frame; Attached(f, w1)^Attached(f, w2). When those are defined, we then state the PartOf() relation of all the composite parts to the whole, the Bike. A full example is given below: Bike(b) ⇔ ∃w1, w2, f Frame(f)^Wheel(w1)^Wheel(w2)^PartOf(f, b)^PartOf(w1, b)^PartOf(w2, b)^Attached(f,w1)^Attached(f, w2)^w1 != w2

-- Practice Final #5

Professor, in your notes about composite objects you use the biconditional (⇔) to represent the biped relationship. However the book uses implies (⇒) relationship for the same example. Can we use either?