LinguisticExpression Comparison Table

Entity > Physical > Object > ContentBearingObject > LinguisticExpression

Next ContentBearingObject: Text Up: ContentBearingObject Previous ContentBearingObject: Icon

LinguisticExpression comparison table

Subject partition into be first domain of be second domain of documentation have axiom be third domain of be disjoint from

Character subsumesContentInstance subsumesContentInstance The smallest unit of a writing system or any other representational system
(=>
(instance ?STRING SymbolicString)
(exists (?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
connects Icon

Language subsumesContentInstance sentenceOfLanguage A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people
(=>
(realization ?PROCESS ?PROP)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))
representsInLanguage Icon

Morpheme subsumesContentInstance subsumesContentInstance Part of a Word which cannot be subdivided and which expresses a meaning
(=>
(instance ?MORPH Morpheme)
(not
(exists (?OTHERMORPH)
(and
(instance ?OTHERMORPH Morpheme)
(part ?OTHERMORPH ?MORPH)
(not (equal ?OTHERMORPH ?MORPH))))))
connects Icon

Phrase subsumesContentInstance subsumesContentInstance A set of Words in a Language which form a unit, i.e. express a meaning in the Language
(=>
(instance ?PHRASE Phrase)
(exists (?PART1 ?PART2)
(and
(part ?PART1 ?PHRASE)
(part ?PART2 ?PHRASE)
(instance ?PART1 Word)
(instance ?PART2 Word)
(not (equal ?PART1 ?PART2)))))
connects VerbPhrase

Sentence TruthFn subsumesContentInstance A syntactically well-formed formula of a natural or artificial Language. It expresses a complete thought, i.e., a Proposition
(=>
(and
(subsumesContentInstance ?SENT1 ?SENT2)
(instance ?SENT1 Sentence)
(instance ?SENT2 Sentence))
(=> ?SENT1 ?SENT2))
connects Icon

SymbolicString KappaFn relatedExternalConcept The Class of all LinguisticExpressions that are represented as strings
(=>
(instance ?STRING SymbolicString)
(exists (?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
connects Icon

Word Noun, Verb, Adjective, Adverb, Particle subsumesContentInstance subsumesContentInstance A term of a Language that represents a concept
(=>
(instance ?MORPH Morpheme)
(exists (?WORD)
(and
(instance ?WORD Word)
(part ?MORPH ?WORD))))
connects Icon

Subject	partition into	be first domain of	be second domain of	documentation	have axiom	be third domain of	be disjoint from
Character		subsumesContentInstance	subsumesContentInstance	The smallest unit of a writing system or any other representational system	(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))	connects	Icon
Language		subsumesContentInstance	sentenceOfLanguage	A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people	(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))	representsInLanguage	Icon
Morpheme		subsumesContentInstance	subsumesContentInstance	Part of a Word which cannot be subdivided and which expresses a meaning	(=> (instance ?MORPH Morpheme) (not (exists (?OTHERMORPH) (and (instance ?OTHERMORPH Morpheme) (part ?OTHERMORPH ?MORPH) (not (equal ?OTHERMORPH ?MORPH))))))	connects	Icon
Phrase		subsumesContentInstance	subsumesContentInstance	A set of Words in a Language which form a unit, i.e. express a meaning in the Language	(=> (instance ?PHRASE Phrase) (exists (?PART1 ?PART2) (and (part ?PART1 ?PHRASE) (part ?PART2 ?PHRASE) (instance ?PART1 Word) (instance ?PART2 Word) (not (equal ?PART1 ?PART2)))))	connects	VerbPhrase
Sentence		TruthFn	subsumesContentInstance	A syntactically well-formed formula of a natural or artificial Language. It expresses a complete thought, i.e., a Proposition	(=> (and (subsumesContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (=> ?SENT1 ?SENT2))	connects	Icon
SymbolicString		KappaFn	relatedExternalConcept	The Class of all LinguisticExpressions that are represented as strings	(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))	connects	Icon
Word	Noun, Verb, Adjective, Adverb, Particle	subsumesContentInstance	subsumesContentInstance	A term of a Language that represents a concept	(=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD))))	connects	Icon

Next ContentBearingObject: Text Up: ContentBearingObject Previous ContentBearingObject: Icon