Yioop - PHP Search Engine

-- Nov 15 In-Class Exercise

Camel(c) ⇔ ∃ h1, h2 Hump(h1) ∧ Hump(h2) ∧ Animal(c)

∧  PartOf(h1,c) ∧ PartOf(h2,c)

∧  Attached(h1,c) ∧ Attached(h2,c)

∧  (∀ h3 Hump(h3) ∧ PartOf(h3,c) ⇒ (h3 = h1 ∨ h3 = h2))

Student: Xin (Joy) Yan

Camel(c) ⇔ ∃ h1, h2 Hump(h1) ∧ Hump(h2) ∧ Animal(c) ∧  PartOf(h1,c) ∧ PartOf(h2,c) ∧  Attached(h1,c) ∧ Attached(h2,c) ∧  (∀ h3 Hump(h3) ∧ PartOf(h3,c) ⇒ (h3 = h1 ∨ h3 = h2)) Student: Xin (Joy) Yan

-- Nov 15 In-Class Exercise

Camel(c) ⇔ ∃h1,h2, Animal(c), Hump(h1) ∧ Hump(h2) ∧ PartOf(h1,c) ∧ PartOf(h2,c) ∧ (∀l3Leg(l3) ∧ PartOf(h3,c)⇒(h3=h1 ∨ h3=h2))

(Edited: 2017-11-15)

Camel(c) ⇔ ∃h1,h2, Animal(c), Hump(h1) ∧ Hump(h2) ∧ PartOf(h1,c) ∧ PartOf(h2,c) ∧ (∀l3Leg(l3) ∧ PartOf(h3,c)⇒(h3=h1 ∨ h3=h2))

-- Nov 15 In-Class Exercise

Camel(c) <=> ∃(h1, h2, b ) hump(h1) ^ hump(h2) ^ Body(b) ^ PartOf(h1, c) ^ PartOf(b, c) ^ PartOf(h2, c) ^ Attached(h1, b) ^ Attached(h2, b)^(∀(h3), hump(h3) ^ PartOf(h3,c) => (h3 = h1 V h3 = h2)

Archana Yadawa

(Edited: 2017-11-15)

Camel(c) <=> ∃(h1, h2, b ) hump(h1) ^ hump(h2) ^ Body(b) ^ PartOf(h1, c) ^ PartOf(b, c) ^ PartOf(h2, c) ^ Attached(h1, b) ^ Attached(h2, b)^(∀(h3), hump(h3) ^ PartOf(h3,c) => (h3 = h1 V h3 = h2) Archana Yadawa

-- Nov 15 In-Class Exercise

 Camel(a) <=> ∃h1,h2,a Hump(h1) ∧ Hump(h2) ∧
 Animal(a) ∧ PartOf(h1, a) ∧ PartOf(h2, a) ∧
 (∀h3 Hump(h3) ∧ PartOf(h3, a) => (h3 = h1 ∨ h3 = h2))

(Edited: 2017-11-15)

Camel(a) <=> ∃h1,h2,a Hump(h1) ∧ Hump(h2) ∧ Animal(a) ∧ PartOf(h1, a) ∧ PartOf(h2, a) ∧ (∀h3 Hump(h3) ∧ PartOf(h3, a) => (h3 = h1 ∨ h3 = h2))

-- Nov 15 In-Class Exercise

((resource:FullSizeRender.jpg|Resource Description for FullSizeRender.jpg))

-- Nov 15 In-Class Exercise

Student: Phyllis Lau

Camel(c) <=> ∃ h1, h2 Animal(c) ^ Hump(h1) ^ Hump(h2) ^ PartOf(h1, c) ^ PartOf(h2, c) ^ (∀h3 Hump(h3) ∧ PartOf(h3, c) ⇒ (h3 = h1 ∨ h3 = h2))

Student: Phyllis Lau Camel(c) <=> ∃ h1, h2 Animal(c) ^ Hump(h1) ^ Hump(h2) ^ PartOf(h1, c) ^ PartOf(h2, c) ^ (∀h3 Hump(h3) ∧ PartOf(h3, c) ⇒ (h3 = h1 ∨ h3 = h2))

-- Nov 15 In-Class Exercise

student: chris van horn Camel(c) <=> ∃h1,h2 hump(h1) ^ Hump(h2) ^ Animal(c) ^ PartOf(h1, c) ^ PartOf(h2, c) ^ ∀ h3 Hump(h3) ^ PartOf(h3, c) ^ Attached(h3, c) => (h3=h1 ∨ h3=h2)

(Edited: 2017-11-15)

student: chris van horn Camel(c) <=> ∃h1,h2 hump(h1) ^ Hump(h2) ^ Animal(c) ^ PartOf(h1, c) ^ PartOf(h2, c) ^ ∀ h3 Hump(h3) ^ PartOf(h3, c) ^ Attached(h3, c) => (h3=h1 ∨ h3=h2)

-- Nov 15 In-Class Exercise

Stephen Reyes (009862892)

Camel(c) <=> ∃ h1, h2, Animal(c) ∧ Hump(h1) ∧ Hump(h2) ∧ PartOf(h1, c) ∧ PartOf(h2, c) ∧ (∀ h3, Hump(h3) => h3 = h1 v h2 = h3))

(Edited: 2017-11-15)

Stephen Reyes (009862892) Camel(c) <=> ∃ h1, h2, Animal(c) ∧ Hump(h1) ∧ Hump(h2) ∧ PartOf(h1, c) ∧ PartOf(h2, c) ∧ (∀ h3, Hump(h3) => h3 = h1 v h2 = h3))

-- Nov 15 In-Class Exercise

Justin Passanisi

Camel(c) <=> ∃h1,h2,Animal(c) ^ Hump(h1) ∧ Hump(h2) ∧ PartOf(h1,c) ∧ PartOf(h2,c) ∧ ∀ h3 hump(h3) ∧ PartOf(h3,c) =>(h3=h1 ∨ h3=h2))

Justin Passanisi Camel(c) <=> ∃h1,h2,Animal(c) ^ Hump(h1) ∧ Hump(h2) ∧ PartOf(h1,c) ∧ PartOf(h2,c) ∧ ∀ h3 hump(h3) ∧ PartOf(h3,c) =>(h3=h1 ∨ h3=h2))

-- Nov 15 In-Class Exercise

 Camel(c) ⇔ ∃h_1, h_2 Hump(h1) ∧ Hump(h2) ∧ PartOf(h_1, c) ∧ PartOf(h_2, c) ∧ 
             (∀h_3 Hump(h_3) ∧ PartOf(h_3, c)) ∧ Animal(c) 
          ⇒ h_1 = h_3 ∨ h_2 = h_3

(Edited: 2017-11-16)

Camel(c) ⇔ ∃h_1, h_2 Hump(h1) ∧ Hump(h2) ∧ PartOf(h_1, c) ∧ PartOf(h_2, c) ∧ (∀h_3 Hump(h_3) ∧ PartOf(h_3, c)) ∧ Animal(c) ⇒ h_1 = h_3 ∨ h_2 = h_3