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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word(字词)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1681-1681
No TPTP formula. May not be expressible in strict first order. Merge.kif 1545-1545
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 321-322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6984-6984
No TPTP formula. May not be expressible in strict first order. Merge.kif 15249-15249 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 字词 是 语言式表达 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15257-15257 形容词 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15261-15261 副词 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15248-15248 名词 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3092-3092 Palindrome 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15265-15265 助词 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2504-2504 SearchTerm 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15253-15253 动词 是 字词 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 846-846
No TPTP formula. May not be expressible in strict first order. english_format.kif 894-894
No TPTP formula. May not be expressible in strict first order. french_format.kif 522-522
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order. terms-it.txt 56-56
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2207-2207
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 474-474
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 58-58
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 89-89
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 543-543
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 57-57

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3052-3052 spellingInLanguage 的 2 数量 是 字词 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19443-19453
No TPTP formula. May not be expressible in strict first order. Merge.kif 15294-15299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19459-19464

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13802-13808
No TPTP formula. May not be expressible in strict first order. Merge.kif 15287-15292
No TPTP formula. May not be expressible in strict first order. Merge.kif 15306-15314
No TPTP formula. May not be expressible in strict first order. Merge.kif 13736-13741


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