Yioop - PHP Search Engine

-- Nov 15 In-Class Exercise

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

<nowiki> Camel(c) <=> ∃(h1, h2, Animal(a)) ^ Hump(h1) ^ Hump(h2) ^ ∀(h3 Hump(h3)) ^ PartOf(h1, a) ^ PartOf(h2, a) => ((h3 = h1) v (h3 = h2)) </nowiki>

-- Nov 15 In-Class Exercise

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

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

-- Nov 15 In-Class Exercise

Name: Daniel Vu

Camel (c) <=> ∃ h1, h2, b

Hump(h1) ^ Hump(h2) ^ Body(b) ^ PartOf(h1,c) ^ PartOf(h2,c) ^ PartOf(b,c) ^

Attached(h1,b) ^ Attached(h2,b) ^ for all h3 (h3 = h1) ^ (h2 = 1) ^ partOf(h3,c)

(Edited: 2017-11-15)

Name: Daniel Vu Camel (c) <=> ∃ h1, h2, b Hump(h1) ^ Hump(h2) ^ Body(b) ^ PartOf(h1,c) ^ PartOf(h2,c) ^ PartOf(b,c) ^ Attached(h1,b) ^ Attached(h2,b) ^ for all h3 (h3 = h1) ^ (h2 = 1) ^ partOf(h3,c)

-- Nov 15 In-Class Exercise

Camel(c) <=> 
[Exists(h1, h2, b ) s.t Hump(h1) ^ Hump(h2) ^ Body(b) ^ 
PartOf(h1, c) ^ PartOf(b, c) ^ PartOf(h2, c)
^ Attached(h1, b) ^ Attached(h2, b) ^ [(h1 = h2) ^ (h1 != h2)] 
^(For All(h3), Hump(h3) ^ PartOf(h3,c)
 => (h3 = h1 V h3 = h2)

(Edited: 2017-11-15)

<pre> Camel(c) <=> [Exists(h1, h2, b ) s.t Hump(h1) ^ Hump(h2) ^ Body(b) ^ PartOf(h1, c) ^ PartOf(b, c) ^ PartOf(h2, c) ^ Attached(h1, b) ^ Attached(h2, b) ^ [(h1 = h2) ^ (h1 != h2)] ^(For All(h3), Hump(h3) ^ PartOf(h3,c) => (h3 = h1 V h3 = h2) </pre>

-- Nov 15 In-Class Exercise

Camel(c) <—> Eh1,h2,Hump(h1) ^ Hump(h2) ^ Animal(c) ^ PartOf(h1,c) ^ PartOf(h2,c)

Student:Naomi Campbell

(Edited: 2017-11-15)

Camel(c) <—> Eh1,h2,Hump(h1) ^ Hump(h2) ^ Animal(c) ^ PartOf(h1,c) ^ PartOf(h2,c) Student:Naomi Campbell

-- Nov 15 In-Class Exercise

Camel(c) <=> ∃h1, h2, aHump(h1) ∧ Hump(h2) ∧ Animal(a) ∧

    PartOf(h1, c) ∧ PartOf(h2, c) ∧ PartOf(a, c) ∧ h1 ≠ h2 ∧
    (∀h3Hump(h3) ∧ PartOf(h3, c) => (h3 = h1 ∨ h3 = h2))

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

-- Nov 15 In-Class Exercise

Camel(c) <=> Eh1,

 h2Hump(h1) ^ Hump(h2) ^ PartOf(h1, c) ^ PartOf(h2, c)
 ^ (Ah3Hump(h3) ^ PartOf(h3, c)) => (h3 = h1 V h3 = h2) ^ Animal(c)

Camel(c) <=> Eh1, h2Hump(h1) ^ Hump(h2) ^ PartOf(h1, c) ^ PartOf(h2, c) ^ (Ah3Hump(h3) ^ PartOf(h3, c)) => (h3 = h1 V h3 = h2) ^ Animal(c)

-- Nov 15 In-Class Exercise

`\mboxCamel (a) <=> exists l_1, exists l_2, exists l_3, exists l_4, b, h_1, h_2, Leg(l_1) and Leg(l_2) and Leg(l_3) land Leg(l_4) land Hump(h_1) land Hump(h_2) land Body(b) land PartOf(l_1, a) land PartOf(l_2, a) land PartOf(l_3, a) land PartOf(l_4, a) land PartOf(h_1, a) land PartOf(h_2, a) land Attached(l_1, b) land Attached(l_2, b) land Attached(l_2, b) land Attached(l_3, b) land Attached(l_4, b) land Attached(h_1, b) land Attached(h_2, b) l_1 ≠ l_2 ≠ l_3 ≠ l_4 land (forall Hump(h_3) land PartOf (h_3, a) => (h_3 = h_1 or h_3 = h_2) )`

(Edited: 2017-11-15)

@BT@\mboxCamel (a) <=> exists l_1, exists l_2, exists l_3, exists l_4, b, h_1, h_2, Leg(l_1) and Leg(l_2) and Leg(l_3) land Leg(l_4) land Hump(h_1) land Hump(h_2) land Body(b) land PartOf(l_1, a) land PartOf(l_2, a) land PartOf(l_3, a) land PartOf(l_4, a) land PartOf(h_1, a) land PartOf(h_2, a) land Attached(l_1, b) land Attached(l_2, b) land Attached(l_2, b) land Attached(l_3, b) land Attached(l_4, b) land Attached(h_1, b) land Attached(h_2, b) l_1 ≠ l_2 ≠ l_3 ≠ l_4 land (forall Hump(h_3) land PartOf (h_3, a) => (h_3 = h_1 or h_3 = h_2) )@BT@

-- Nov 15 In-Class Exercise

((resource:Capture2.JPG|Resource Description for Capture2.JPG))

-- Nov 15 In-Class Exercise

Camel(c) <=> E l1 ,l2 ,b ,h1 ,h2, animal(a) Leg(l1) ^Leg(l2) ^ Body(b) ^ Hump(h1) v Hump(h2)

PartOf(c,a)^PartOf(b,c)^ PartOf(l1,b) ^ PartOf(l2, b) ^ PartOf(h1, b) ^ PartOf(h2, b)^

Attached(l1,b) ^ Attached(l2, b) ^Attached(h1, b) ^ Attached(h2, b)^

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

(Edited: 2017-11-15)

Camel(c) <=> E l1 ,l2 ,b ,h1 ,h2, animal(a) Leg(l1) ^Leg(l2) ^ Body(b) ^ Hump(h1) v Hump(h2) PartOf(c,a)^PartOf(b,c)^ PartOf(l1,b) ^ PartOf(l2, b) ^ PartOf(h1, b) ^ PartOf(h2, b)^ Attached(l1,b) ^ Attached(l2, b) ^Attached(h1, b) ^ Attached(h2, b)^ (∀ h3 Hump(h3) ∧ PartOf(h3,c) ⇒ (h3 = h1 ∨ h3 = h2)