TreeView Knowledge Base Browser - LinguisticExpression

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LinguisticExpression

Sigma KEE - LinguisticExpression

LinguisticExpression(expression linguistique)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1398-1398	Expression linguistique est disjoint de icone
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1656-1657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1400-1403
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 243-245
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 287-289
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1397-1397	Expression linguistique est une sous-classe de ContentBearingPhysical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2939-2939	AlphaNumericString est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2902-2902	AlphabeticString est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1405-1405	Langage est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15296-15296	Morph�me est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15323-15323	Phrase est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24846-24846	PostalAddressText est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15464-15464	Phrase est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15381-15381	Texte est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1543-1543	Mot est une sous-classe de expression linguistique
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	english_format.kif 878-878
No TPTP formula. May not be expressible in strict first order.	french_format.kif 514-514
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 46-46
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 49-49
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2199-2199
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 466-466
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 535-535
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 50-50

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4617-4617	Le nombre 1 argument de expressedInLanguage est une instance de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4477-4477	Le nombre 1 argument de representsInLanguage est une instance de expression linguistique

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13152-13158	Processus est une instance de LinguisticCommunication entit� processus d�finie entit� entit� est une instance de expression linguistique entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3125-3132	Processus est une instance de SigningAnAgreement ContentBearingPhysical proposition ContentBearingPhysical est une instance de expression linguistique proposition est une instance de Agreement ContentBearingPhysical contient information proposition ContentBearingPhysical est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15389-15394	Objet est une instance de texte objet objet est une partie de objet objet est une instance de expression linguistique
No TPTP formula. May not be expressible in strict first order.	Music.kif 1457-1470	originalExpressedInLanguage proposition and langage expression linguistique interval temporel expression linguistique est une instance de expression linguistique expression linguistique repr�sente proposition dans le langage langage interval temporel est temps d'existence de expression linguistique interval temporel physique physique est une instance de expression linguistique physique d�finie proposition interval temporel est temps d'existence de physique interval temporel se produit avant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 3234-3240	subtitle cha�ne sympbolique, ContentBearingPhysical and langage cha�ne sympbolique cha�ne sympbolique est une instance de cha�ne sympbolique cha�ne sympbolique est une instance de expression linguistique titleInLanguage cha�ne sympbolique, ContentBearingPhysical and langage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3117-3119	titleInLanguage cha�ne sympbolique, entit�-TYPE and langage cha�ne sympbolique est une instance de expression linguistique

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

Show without tree

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