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 15271-15271 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 15279-15279 Adjectif est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15283-15283 Adverbe est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15270-15270 Nom est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Media.kif 3092-3092 Palindrome est une sous-classe de mot
No TPTP formula. May not be expressible in strict first order. Merge.kif 15287-15287 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 15275-15275 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 3052-3052 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 19442-19452
No TPTP formula. May not be expressible in strict first order. Merge.kif 15316-15321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19458-19463

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13801-13807
No TPTP formula. May not be expressible in strict first order. Merge.kif 15309-15314
No TPTP formula. May not be expressible in strict first order. Merge.kif 15328-15336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13758-13763


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