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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 4618-4618 The number 2 argument of expressed in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4616-4616 expressed in language is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4615-4615 expressed in language is an instance of binary predicate

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