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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Word

 Sigma KEE - Word
Word(Palavra)

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 O conceito Palavra e' completamente decomposto em Noun, Verbo, Adjetivo, Adverbio, + ParticleWord
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 Palavra e' uma sub-classe de Expressao Linguistica

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15257-15257 Adjetivo e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. Merge.kif 15261-15261 Adverbio e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. Merge.kif 15248-15248 Noun e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. Media.kif 3092-3092 Palindrome e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. Merge.kif 15265-15265 ParticleWord e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2504-2504 SearchTerm e' uma sub-classe de Palavra
No TPTP formula. May not be expressible in strict first order. Merge.kif 15253-15253 Verbo e' uma sub-classe de Palavra
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 O argumento numero 2 de spellingInLanguage e' uma instancia de Palavra

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