LinguisticExpression - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1393-1393	Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1656-1657	Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1395-1398	Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 243-245	Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 287-289	Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1392-1392	Linguistic expression is a subclass of content bearing physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2941-2941	Alpha numeric string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Media.kif 2904-2904	Alphabetic string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1400-1400	Language is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15412-15412	Morpheme is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15439-15439	Phrase is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26511-26511	Postal address text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15580-15580	Sentence is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15497-15497	Text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1538-1538	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 838-838	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	english_format.kif 878-878	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	french_format.kif 514-514	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 46-46	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 49-49	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2199-2199	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 466-466	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 81-81	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 340-340	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 535-535	Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 50-50	Word is a subclass of linguistic expression

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4630-4630	The number 1 argument of expressed in language is an instance of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4490-4490	The number 1 argument of represents in language is an instance of linguistic expression

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13269-13275	If a process is an instance of linguistic communication, then there exists an entity such that the process expresses the entity and the entity is an instance of linguistic expression and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3113-3120	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15505-15510	If an object is an instance of text, then there exists another object such that the other object is a part of the object and the other object is an instance of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Music.kif 1459-1472	If a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and the time interval is equal to the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and the other time interval is equal to the time of existence of the physical and the other time interval happens before the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 3218-3224	If a symbolic string is a sub-title for a kind of content bearing physical in a language, then there exists another symbolic string such that the other symbolic string is an instance of symbolic string and the other symbolic string is an instance of linguistic expression and the title of a kind of content bearing physical in the language is the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3101-3103	If the title of an entity_TYPE in a language is a symbolic string, then the symbolic string is an instance of linguistic expression

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: