Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticExpression
LinguisticExpression

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 不相交的 LinguisticExpression and Icon
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 子類 LinguisticExpression and 內容承載物理

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2939-2939 子類 AlphaNumericString and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Media.kif 2902-2902 子類 AlphabeticString and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1405-1405 子類 Language and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15274-15274 子類 Morpheme and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15301-15301 子類 Phrase and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24847 子類 PostalAddressText and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15442-15442 子類 Sentence and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15359-15359 子類 Text and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 子類 Word and LinguisticExpression
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 域 用語言表達, 1 and LinguisticExpression
No TPTP formula. May not be expressible in strict first order. Merge.kif 4477-4477 域 用語言表示, 1 and LinguisticExpression

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13130-13136
No TPTP formula. May not be expressible in strict first order. Geography.kif 3125-3132
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15372
No TPTP formula. May not be expressible in strict first order. Music.kif 1457-1470
No TPTP formula. May not be expressible in strict first order. Media.kif 3234-3240
No TPTP formula. May not be expressible in strict first order. Media.kif 3117-3119


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