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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word(mot)

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 15295-15295 Mot est compl�tement d�compos� en nom, verbe, adjectif, adverbe, + ParticleWord
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 Mot est une sous-classe de expression linguistique

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15303-15303 Adjectif est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15307-15307 Adverbe est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15294-15294 Nom est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Media.kif 3074-3074 Palindrome est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15311-15311 ParticleWord est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2504-2504 SearchTerm est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15299-15299 Verbe est une sous-classe de mot
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 3034-3034 Le nombre 2 argument de spellingInLanguage est une instance de mot

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19470-19480
No TPTP formula. May not be expressible in strict first order. Merge.kif 15340-15345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19486-19491

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13829-13835
No TPTP formula. May not be expressible in strict first order. Merge.kif 15333-15338
No TPTP formula. May not be expressible in strict first order. Merge.kif 15352-15360
No TPTP formula. May not be expressible in strict first order. Merge.kif 13782-13787


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