Yioop - PHP Search Engine

Nov 15 In-Class Exercise.

Post your solutions to the Nov 15 In-Class Exercise to this thread.

Best, Chris

Post your solutions to the Nov 15 In-Class Exercise to this thread. Best, Chris

-- Nov 15 In-Class Exercise

(Edited: 2017-11-15)

((resource:Screenshot_2017-11-15_15-55-51.png|Resource Description for Screenshot_2017-11-15_15-55-51.png))

-- Nov 15 In-Class Exercise

Yecheng Liang

camel(c)<=>(∃ h1 h2 b) hump(h1)^ hump(h2)^partOf(h1,c)^ partOf(h2,c)^body(b)^partOf(b,c)^attached(h1,b)^attached(h2,b)^((for all h3) (h3 = h1) V (h3 = h2))^partOf(c, animal)

(Edited: 2017-11-15)

Yecheng Liang camel(c)<=>(∃ h1 h2 b) hump(h1)^ hump(h2)^partOf(h1,c)^ partOf(h2,c)^body(b)^partOf(b,c)^attached(h1,b)^attached(h2,b)^((for all h3) (h3 = h1) V (h3 = h2))^partOf(c, animal)

-- Nov 15 In-Class Exercise

Camel(c) <=> ∃h1, h2, b, l1, l2, l3, l4 leg(l1) ^ leg(l2) ^ leg(l3) ^ leg(4) ^ body(b) ^

 partOf(l1, c) ^ partOf(l2, c) ^ partOf(l3, c) ^ partOf(l4, c) ^ hump(h1) ^partOf(h1, c) ^ partOf(h2, c) ^
 attached(l1, c) ^  attached(l12, c) ^  attached(l2, c) ^  attached(l4, c) ^  attached(h1, c) ^ attached(h2, c)

(Edited: 2017-11-15)

Camel(c) <=> ∃h1, h2, b, l1, l2, l3, l4 leg(l1) ^ leg(l2) ^ leg(l3) ^ leg(4) ^ body(b) ^ partOf(l1, c) ^ partOf(l2, c) ^ partOf(l3, c) ^ partOf(l4, c) ^ hump(h1) ^partOf(h1, c) ^ partOf(h2, c) ^ attached(l1, c) ^ attached(l12, c) ^ attached(l2, c) ^ attached(l4, c) ^ attached(h1, c) ^ attached(h2, c)

-- Nov 15 In-Class Exercise

Camel(x)⇔∃h1,h2,b

	Animal(x)∧hump(l1)∧hump(l2)∧Body(b)∧

	PartOf(h1,x)∧PartOf(h2,x)∧PartOf(b,x)∧

	Attached(h1,b)∧Attached(h2,b)∧

	(∀h3 hump(h3)∧PartOf(h3,x)⇒(h3=h1∨h3=h2))

(Edited: 2017-11-15)

Camel(x)⇔∃h1,h2,b Animal(x)∧hump(l1)∧hump(l2)∧Body(b)∧ PartOf(h1,x)∧PartOf(h2,x)∧PartOf(b,x)∧ Attached(h1,b)∧Attached(h2,b)∧ (∀h3 hump(h3)∧PartOf(h3,x)⇒(h3=h1∨h3=h2))

-- Nov 15 In-Class Exercise

Michael Torres

 Camel(c) ⇔ (∃h1, h2, b) Hump(h1) ∧ Hump(h2) ∧ Animal(c) ∧ Body(b) ∧ 
  ((PartOf(h1, c) ∧ Attached(h1, b)) ∨ (PartOf(h2, c) ∧ Attached(h2, b))) ∧
  PartOf(b, c) ∧ (h1≠h2) ∧ ((∀h3) Hump(h3) ∧ PartOf(h3,c) ⇒ (h3=h1 ∨ h3=h2))

(Edited: 2017-11-15)

Michael Torres ---- Camel(c) ⇔ (∃h1, h2, b) Hump(h1) ∧ Hump(h2) ∧ Animal(c) ∧ Body(b) ∧ ((PartOf(h1, c) ∧ Attached(h1, b)) ∨ (PartOf(h2, c) ∧ Attached(h2, b))) ∧ PartOf(b, c) ∧ (h1≠h2) ∧ ((∀h3) Hump(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

`\mbox Camel(c) <=> mbox (∃ h1) (∃ h2) Animal(c) ∧ Hump(h1) ∧ Hump(h2) ` `∧ PartOf(h1, c) ∧ PartOf(h2, c) ` `∧ [(∀h3) Hump(h3) ∧ PartOf(h3, c) -> (h3 = h2 ∨ h3 = h1)]`

(Edited: 2017-11-15)

@BT@\mbox Camel(c) <=> mbox (∃ h1) (∃ h2) Animal(c) ∧ Hump(h1) ∧ Hump(h2) @BT@ @BT@∧ PartOf(h1, c) ∧ PartOf(h2, c) @BT@ @BT@∧ [(∀h3) Hump(h3) ∧ PartOf(h3, c) -> (h3 = h2 ∨ h3 = h1)]@BT@

-- 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) ∧ Attached(h3, c) ⇒ (h3=h1 ∨ h3=h2)

(Edited: 2017-11-15)

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) ∧ Attached(h3, c) ⇒ (h3=h1 ∨ h3=h2)

-- Nov 15 In-Class Exercise

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

∧  PartOf(h1,a) ∧ PartOf(h2,a)

 ∧   Attached(h1,a) ∧ Attached(h2,a)

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

(Edited: 2017-11-15)

Camel(a) ⇔ ∃ h1, h2 Hump(h1) ∧ Hump(h2) ∧ Animal(a) ∧  PartOf(h1,a) ∧ PartOf(h2,a) ∧  Attached(h1,a) ∧ Attached(h2,a) ∧  (∀ h3 Hump(h3) ∧ PartOf(h3,a) ⇒ (h3 = h1 ∨ h3 = h2))