ExerciseFOModels-d - Revision history

Manfred: /* Relations */

2013-05-22T15:03:04Z

Relations

← Older revision		Revision as of 15:03, 22 May 2013
Line 54:		Line 54:


	~~<hr />~~
	====Navigation====		====Navigation====

Manfred: /* Navigation */

2013-05-22T14:44:01Z

Navigation

← Older revision		Revision as of 14:44, 22 May 2013
Line 58:		Line 58:

	*[[Exercise_First_Order_Models\|Link to the exercise on how to create a world]]		*[[Exercise_First_Order_Models\|Link to the exercise on how to create a world]]
	*[[~~Exercise_Semantics_of_First_Order~~ \|Link back to the exercise on formulae that uses this world]]		*[[Exercise_Semantics_of_Predicate_Logic\|Link back to the exercise on formulae that uses this world]]
	*[[Interpretation_of_formulae_with_connectives\|Link back to the exercise on the interpretation of formulae that uses this world]]		*[[Interpretation_of_formulae_with_connectives\|Link back to the exercise on the interpretation of formulae that uses this world]]
	*[[NMTS-Group9\|Link to the Wiki Page]]		*[[NMTS-Group9\|Link to the Wiki Page]]

Manfred: /* Navigation */

2013-05-22T14:43:07Z

Navigation

← Older revision		Revision as of 14:43, 22 May 2013
Line 58:		Line 58:

	*[[Exercise_First_Order_Models\|Link to the exercise on how to create a world]]		*[[Exercise_First_Order_Models\|Link to the exercise on how to create a world]]
	*[[~~Formulae_and_their_interpretation~~\|Link back to the exercise on formulae that uses this world]]		*[[Exercise_Semantics_of_First_Order \|Link back to the exercise on formulae that uses this world]]
	*[[Interpretation_of_formulae_with_connectives\|Link back to the exercise on the interpretation of formulae that uses this world]]		*[[Interpretation_of_formulae_with_connectives\|Link back to the exercise on the interpretation of formulae that uses this world]]
	*[[NMTS-Group9\|Link to the Wiki Page]]		*[[NMTS-Group9\|Link to the Wiki Page]]

Manfred at 14:28, 22 May 2013

2013-05-22T14:28:34Z

← Older revision		Revision as of 14:28, 22 May 2013
Line 1:		Line 1:
			== Scenario ==

			<blockquote>
			'''Scenario:'''

			At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.
			</blockquote>

	== Universe ==		== Universe ==
	''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>		''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>

Manfred: /* Properties */

2013-05-22T14:13:55Z

Properties

← Older revision		Revision as of 14:13, 22 May 2013
Line 24:		Line 24:
	* I ('''blonde''') = {<''Alice''>,<''Lisa''>}		* I ('''blonde''') = {<''Alice''>,<''Lisa''>}
	* I ('''female''') = {<''Alice''>,<''Lisa''>}		* I ('''female''') = {<''Alice''>,<''Lisa''>}
	* I ('''male''') = {<''Tom''>,<'''Paul'''>}		* I ('''male''') = {<''Tom''>,<''Paul''>}
	* I ('''likes-eating-shoes''') = {<''Walter''>}		* I ('''likes-eating-shoes''') = {<''Walter''>}
	* I ('''doesn't-care-about-sports''') = {<''Walter''>}		* I ('''doesn't-care-about-sports''') = {<''Walter''>}

Manfred: /* Relations */

2013-05-15T13:56:10Z

Relations

← Older revision		Revision as of 13:56, 15 May 2013
Line 43:		Line 43:
	* I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>}		* I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>}
	* I ('''married-to-eachother''') = {<''Alice, Paul''>, <''Paul, Alice''>}		* I ('''married-to-eachother''') = {<''Alice, Paul''>, <''Paul, Alice''>}
	* I ('''enjoy-watching-football-together''') = {<''Alice, Paul''>,<''Paul, Alice''>,<''Alice, Lisa''>,<''Lisa, Alice''>,<''Alice, Tom''>,<''Tom, Alice''>,<''Paul, Lisa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>}		* I ('''enjoy-watching-football-together''')<br /> = {<''Alice, Paul''>,<''Paul, Alice''>,<''Alice, Lisa''>,<''Lisa, Alice''>,<''Alice, Tom''>,<''Tom, Alice''>,<''Paul, Lisa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>}

Manfred: /* Properties */

2013-05-15T13:55:49Z

Properties

Manfred at 13:54, 15 May 2013

2013-05-15T13:54:34Z

@@ Line 1: / Line 1: @@
+== Universe ==
 ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>
-'''Names:'''<br/><br/>
+''Names'' = {''alice, paul, tom, lisa, walter''}
-I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>}
+* I ('''alice''') = ''Alice''
-I ('''married-to-eachother''')  = {<''Alice, Paul''>, <''Paul, Alice''>}
+Predicates with arity 1:
 ====Navigation====

Manfred: /* Navigation */

2013-05-15T13:49:13Z

Navigation

← Older revision		Revision as of 13:49, 15 May 2013
Line 82:		Line 82:
	====Navigation====		====Navigation====

	*[[~~Creation_of_the_World~~\|Link to the ~~current~~ exercise]]		*[[Exercise_First_Order_Models\|Link to the exercise on how to create a world]]
	*[[Formulae_and_their_interpretation\|Link back to exercise 2]]		*[[Formulae_and_their_interpretation\|Link back to the exercise on formulae that uses this world]]
	*[[Interpretation_of_formulae_with_connectives\|Link back to exercise 3]]		*[[Interpretation_of_formulae_with_connectives\|Link back to the exercise on the interpretation of formulae that uses this world]]
	*[[NMTS-Group9\|Link to the Wiki Page]]		*[[NMTS-Group9\|Link to the Wiki Page]]

Manfred: Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}

'''Names:'''

I ('''alice''') = ''Alice''

I ('''paul''') = ''Paul''

I ('''tom''') = ''Tom..."

2013-05-15T13:41:55Z

Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''} '''Names:''' I ('''alice''') = ''Alice'' I ('''paul''') = ''Paul'' I ('''tom''') = ''Tom..."

New page

''U'' = {''Alice,Paul,Tom,Lisa,Walter''} 

'''Names:''' 

I ('''alice''') = ''Alice'' 

I ('''paul''') = ''Paul'' 

I ('''tom''') = ''Tom'' 

I ('''lisa''') = ''Lisa'' 

I ('''walter''') = ''Walter'' 

'''Properties:'''

I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} 

I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>} 

I ('''lives-in-Munich''') = {} 

I ('''rather-small''') = {<''Alice''>,<''Tom''>} 

I ('''tall''') = {<''Lisa''>,<''Paul''>} 

I ('''blonde''') = {<''Alice''>,<''Lisa''>} 

I ('''female''') = {<''Alice''>,<''Lisa''>} 

I ('''male''') = {<''Tom''>,<'''Paul'''>} 

I ('''likes-eating-shoes''') = {<''Walter''>} 

I ('''doesn't-care-about-sports''') = {<''Walter''>} 

I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>} 

I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>} 

I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}

'''Relations:''' 

I ('''son-of-someone''') = {<''Tom,Paul''>,<''Tom,Alice''>}

I ('''daughter-of-someone''') = {<''Lisa, Paul''>,<''Lisa, Alice''>}

I ('''mother-of-someone''') = {<''Alice, Lisa''>,<''Alice, Paul''>}

I ('''father-of-someone''') = {<''Paul, Tom''>,<''Paul, Lisa''>}

I ('''brother-of-someone''') = {<''Tom, Lisa''>}

I ('''sister-of-someone''') = {<''Lisa, Tom''>}

I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>}

I ('''married-to-eachother''') = {<''Alice, Paul''>, <''Paul, Alice''>}

I ('''enjoy-watching-football-together''') = {<''Alice, Paul''>,<''Paul, Alice''>,<''Alice, Lisa''>,<''Lisa, Alice''>,<''Alice, Tom''>,<''Tom, Alice''>,<''Paul, Lisa''>,<''Lisa, Paul''>,<''Paul, Tom''>,<''Tom, Paul''>,<''Tom, Lisa''>,<''Lisa, Tom''>}

====Navigation====

*[[Creation_of_the_World|Link to the current exercise]]
*[[Formulae_and_their_interpretation|Link back to exercise 2]]
*[[Interpretation_of_formulae_with_connectives|Link back to exercise 3]]
*[[NMTS-Group9|Link to the Wiki Page]]

← Older revision		Revision as of 13:55, 15 May 2013
Line 17:		Line 17:
	Predicates with arity 1:		Predicates with arity 1:

	* I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}~~<br/><br/>~~		* I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}
	* I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}~~<br/><br/>~~		* I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}
	* I ('''lives-in-Munich''') = {}~~<br/><br/>~~		* I ('''lives-in-Munich''') = {}
	* I ('''rather-small''') = {<''Alice''>,<''Tom''>}~~<br/><br/>~~		* I ('''rather-small''') = {<''Alice''>,<''Tom''>}
	* I ('''tall''') = {<''Lisa''>,<''Paul''>}~~<br/><br/>~~		* I ('''tall''') = {<''Lisa''>,<''Paul''>}
	* I ('''blonde''') = {<''Alice''>,<''Lisa''>}~~<br/><br/>~~		* I ('''blonde''') = {<''Alice''>,<''Lisa''>}
	* I ('''female''') = {<''Alice''>,<''Lisa''>}~~<br/><br/>~~		* I ('''female''') = {<''Alice''>,<''Lisa''>}
	* I ('''male''') = {<''Tom''>,<'''Paul'''>}~~<br/><br/>~~		* I ('''male''') = {<''Tom''>,<'''Paul'''>}
	* I ('''likes-eating-shoes''') = {<''Walter''>}~~<br/><br/>~~		* I ('''likes-eating-shoes''') = {<''Walter''>}
	* I ('''doesn't-care-about-sports''') = {<''Walter''>}~~<br/><br/>~~		* I ('''doesn't-care-about-sports''') = {<''Walter''>}
	* I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}~~<br/><br/>~~		* I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}
	* I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}~~<br/><br/>~~		* I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}
	* I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}		* I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}


	=== Relations ===		=== Relations ===

ExerciseFOModels-d - Revision history

Manfred: /* Relations */

Manfred: /* Navigation */

Manfred: /* Navigation */

Manfred at 14:28, 22 May 2013

Manfred: /* Properties */

Manfred: /* Relations */

Manfred: /* Properties */

Manfred at 13:54, 15 May 2013

Manfred: /* Navigation */

Manfred: Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''} '''Names:''' I ('''alice''') = ''Alice'' I ('''paul''') = ''Paul'' I ('''tom''') = ''Tom..."

Manfred: Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}

'''Names:'''

I ('''alice''') = ''Alice''

I ('''paul''') = ''Paul''

I ('''tom''') = ''Tom..."