AnswerEX1-d - Revision history

Lisa at 13:36, 29 January 2013

2013-01-29T13:36:26Z

← Older revision		Revision as of 13:36, 29 January 2013
Line 1:		Line 1:

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

Lisa at 13:35, 29 January 2013

2013-01-29T13:35:56Z

← Older revision		Revision as of 13:35, 29 January 2013
Line 26:		Line 26:
	I ('''lives-in-Munich''') = {}<br/><br/>		I ('''lives-in-Munich''') = {}<br/><br/>

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

	I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/>		I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/>
Line 71:		Line 71:


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


	I ('''enjoy-watching-football-together''') = {<''Alice,Paul''>,<''Alice,Lisa''>,<''Alice,Tom''>,<''Paul,Lisa''>, <''Paul,Tom'''>,<''Tom,Lisa'''>}		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''>}


	~~<span style="color:red">Comment Sailer:<br />~~
	~~1) check the fonts.<br />~~
	~~2) '''brother-of''', '''sister-of''' and '''married-to-eachother''' are symmetric relations, i.e., the pairs must also be in the relation in the other order.</span>~~

Lisa: /* Navigation */

2013-01-29T13:27:58Z

Navigation

← Older revision		Revision as of 13:27, 29 January 2013
Line 85:		Line 85:

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

Lisa at 13:27, 29 January 2013

2013-01-29T13:27:38Z

← Older revision		Revision as of 13:27, 29 January 2013
Line 85:		Line 85:

	*[[Creation_of_the_World\|Link to the current exercise]]		*[[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]]		*[[Interpretation_of_formulae_with_connectives\|Link back to exercise 3]]
	*[[NMTS-Group9\|Link to the Wiki Page]]		*[[NMTS-Group9\|Link to the Wiki Page]]

Lisa at 09:57, 29 January 2013

2013-01-29T09:57:16Z

← Older revision		Revision as of 09:57, 29 January 2013
Line 20:		Line 20:
	'''Properties:'''		'''Properties:'''

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

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

	I ('''lives in Munich''') = {}<br/><br/>		I ('''lives-in-Munich''') = {}<br/><br/>

	I ('''rather small''') = {<''Alice''>,<''Tom''>}<br/><br/>		I ('''rather small''') = {<''Alice''>,<''Tom''>}<br/><br/>
Line 36:		Line 36:
	I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/>		I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/>

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

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

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

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

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


Line 48:		Line 50:
	'''Relations:'''<br/><br/>		'''Relations:'''<br/><br/>

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


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


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


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


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


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


	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''>}		I ('''married-to-eachother''') = {<''Alice,Paul''>}


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

	<span style="color:red">Comment Sailer:<br />		<span style="color:red">Comment Sailer:<br />

Lisa: /* Navigation */

2013-01-29T09:49:55Z

Navigation

← Older revision		Revision as of 09:49, 29 January 2013
Line 83:		Line 83:

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

Lisa at 09:33, 29 January 2013

2013-01-29T09:33:58Z

← Older revision		Revision as of 09:33, 29 January 2013
Line 1:		Line 1:
	'''U = {<Alice>,<Paul>,<Tom>,<Lisa>,<Walter>'''}<br/><br/>		''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/>

	~~<span style="color:red">Comment Sailer: The universe just contains the individuals (see previous exercise)</span>~~


	'''Names:'''<br/><br/>		'''Names:'''<br/><br/>

	I (''Alice'') = <'''Alice'''><br/><br/>		I ('''Alice''') = ''Alice''<br/><br/>

	I (''Paul'') = <'''Paul'''><br/><br/>		I ('''Paul''') = ''Paul''<br/><br/>

	I (''Tom'') = <'''Tom'''><br/><br/>		I ('''Tom''') = ''Tom''<br/><br/>

	I (''Lisa'') = <'''~~Lisa~~'''><br/><br/>		I ('''Lisa''') = ''Lisa''<br/><br/>

			I ('''Walter''') = ''Walter''<br/><br/>

	~~I (''Walter'') = <'''Walter'''><br/><br/>~~

	~~<span style="color:red">Comment Sailer: Names denote individuals, i.e. (using the textbook system for the fonts): </span> I('''Lisa''') = ''Lisa''.~~


	'''Properties:'''		'''Properties:'''

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

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

	I (''lives in Munich'') = {}<br/><br/>		I ('''lives in Munich''') = {}<br/><br/>

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

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

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

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

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

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

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

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

	I (''enjoys watching soccer'') = {<'''Alice~~'''>,<'''Paul'''>,<'''Tom'~~''>,<'''Lisa'''>}<br/><br/>		I ('''enjoys watching soccer''') = {<''Alice''>,<''Lisa''>}<br/><br/>

	~~<span style="color:red">Comment Sailer: Is this compatible with your story? Tom and Paul both like watching soccer and get bored when watching soccer?</span>~~


	'''Relations:'''<br/><br/>		'''Relations:'''<br/><br/>

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


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


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


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


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


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


	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'''>}		I ('''married to eachother''') = {<''Alice,Paul''>}


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

	<span style="color:red">Comment Sailer:<br />		<span style="color:red">Comment Sailer:<br />

Manfred at 00:08, 29 January 2013

2013-01-29T00:08:52Z

← Older revision		Revision as of 00:08, 29 January 2013
Line 45:		Line 45:
	I (''enjoys watching soccer'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/>		I (''enjoys watching soccer'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/>

			<span style="color:red">Comment Sailer: Is this compatible with your story? Tom and Paul both like watching soccer and get bored when watching soccer?</span>

Manfred at 23:58, 28 January 2013

2013-01-28T23:58:12Z

← Older revision		Revision as of 23:58, 28 January 2013
Line 1:		Line 1:
	'''U = {<Alice>,<Paul>,<Tom>,<Lisa>,<Walter>'''}<br/><br/>		'''U = {<Alice>,<Paul>,<Tom>,<Lisa>,<Walter>'''}<br/><br/>

			<span style="color:red">Comment Sailer: The universe just contains the individuals (see previous exercise)</span>


Line 14:		Line 16:
	I (''Walter'') = <'''Walter'''><br/><br/>		I (''Walter'') = <'''Walter'''><br/><br/>

			<span style="color:red">Comment Sailer: Names denote individuals, i.e. (using the textbook system for the fonts): </span> I('''Lisa''') = ''Lisa''.


Line 76:		Line 78:
	<span style="color:red">Comment Sailer:<br />		<span style="color:red">Comment Sailer:<br />
	1) check the fonts.<br />		1) check the fonts.<br />
	2) '''brother-of''', '''sister-of''' and '''married-to-eachother'' are symmetric relations, i.e., the pairs must also be in the relation in the other order.</span>		2) '''brother-of''', '''sister-of''' and '''married-to-eachother''' are symmetric relations, i.e., the pairs must also be in the relation in the other order.</span>

Manfred at 23:55, 28 January 2013

2013-01-28T23:55:15Z

← Older revision		Revision as of 23:55, 28 January 2013
Line 74:		Line 74:
	I (''enjoy watching football together'') = {<'''Alice,Paul'''>,<'''Alice,Lisa'''>,<'''Alice,Tom'''>,<'''Paul,Lisa'''>, <'''Paul,Tom'''>,<'''Tom,Lisa'''>}		I (''enjoy watching football together'') = {<'''Alice,Paul'''>,<'''Alice,Lisa'''>,<'''Alice,Tom'''>,<'''Paul,Lisa'''>, <'''Paul,Tom'''>,<'''Tom,Lisa'''>}

			<span style="color:red">Comment Sailer:<br />
			1) check the fonts.<br />
			2) '''brother-of''', '''sister-of''' and '''married-to-eachother'' are symmetric relations, i.e., the pairs must also be in the relation in the other order.</span>

← Older revision		Revision as of 13:27, 29 January 2013
Line 85:		Line 85:

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

← Older revision		Revision as of 13:27, 29 January 2013
Line 85:		Line 85:

	*[[Creation_of_the_World\|Link to the current exercise]]		*[[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]]		*[[Interpretation_of_formulae_with_connectives\|Link back to exercise 3]]
	*[[NMTS-Group9\|Link to the Wiki Page]]		*[[NMTS-Group9\|Link to the Wiki Page]]

← Older revision		Revision as of 09:49, 29 January 2013
Line 83:		Line 83:

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