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)&and;hump(l1)&and;hump(l2)&and;Body(b)&and; PartOf(h1,x)&and;PartOf(h2,x)&and;PartOf(b,x)&and; Attached(h1,b)&and;Attached(h2,b)&and; (∀h3 hump(h3)&and;PartOf(h3,x)⇒(h3=h1&or;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) &and; Hump(h2) &and; Animal(c) &and; Body(b) &and; ((PartOf(h1, c) &and; Attached(h1, b)) &or; (PartOf(h2, c) &and; Attached(h2, b))) &and; PartOf(b, c) &and; (h1≠h2) &and; ((∀h3) Hump(h3) &and; PartOf(h3,c) ⇒ (h3=h1 &or; 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)

-- 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) &and; Hump(h2) &and; Animal(c) &and;

PartOf(h1, c) &and; PartOf(h2, c) &and;

Attached(h1, c) &and; Attached(h2, c) &and;

∀h3 Hump(h3) &and; PartOf(h3, c) &and; Attached(h3, c) ⇒ (h3=h1 &or; 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) &and; Hump(h2) &and; Animal(a)

&and;  PartOf(h1,a) &and; PartOf(h2,a)

&and;  Attached(h1,a) &and; Attached(h2,a)

&and;  (∀ h3 Hump(h3) &and; PartOf(h3,a) ⇒ (h3 = h1 &or; 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))