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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticExpression

Sigma KEE - LinguisticExpression
LinguisticExpression(语言式表达)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 语言式表达 和 % 2 是 disjoint
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 语言式表达内容承载物理subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2939-2939 AlphaNumericString语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 2902-2902 AlphabeticString语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1405-1405 语言语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15274-15274 词素语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15301-15301 短语语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24847 PostalAddressText语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15442-15442 句子语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15359-15359 文本语言式表达subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 字词语言式表达subclass
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 数量 是 语言式表达instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4477-4477 所表示的语言 的 1 数量 是 语言式表达instance

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 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