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

Formal Language: 



KB Term:  Term intersection
English Word: 

  expressedInLanguage

Sigma KEE - expressedInLanguage
expressedInLanguage

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2201-2202
No TPTP formula. May not be expressible in strict first order. Merge.kif 4620-4622
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 865-866
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 4618-4618 所表达的语言 的 2 数量 是 语言instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4616-4616 所表达的语言非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4615-4615 所表达的语言二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 211-211
No TPTP formula. May not be expressible in strict first order. english_format.kif 212-212
No TPTP formula. May not be expressible in strict first order. french_format.kif 125-125
No TPTP formula. May not be expressible in strict first order. relations-it.txt 105-105
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1954-1954
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 77-77
No TPTP formula. May not be expressible in strict first order. relations-de.txt 272-272
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 145-145
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 144-144
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 220-220
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 212-212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22942-22942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22941-22941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22940-22940
No TPTP formula. May not be expressible in strict first order. terms-de.txt 87-87
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 221-221

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4627

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4629-4631


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