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 15271-15271 劃分 Word, Noun, Verb, Adjective, Adverb and 助詞
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 子類 Word and LinguisticExpression

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15279-15279 子類 Adjective and Word
No TPTP formula. May not be expressible in strict first order. Merge.kif 15283-15283 子類 Adverb and Word
No TPTP formula. May not be expressible in strict first order. Merge.kif 15270-15270 子類 Noun and Word
No TPTP formula. May not be expressible in strict first order. Media.kif 3092-3092 子類 Palindrome and Word
No TPTP formula. May not be expressible in strict first order. Merge.kif 15287-15287 子類 助詞 and Word
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2504-2504 子類 SearchTerm and Word
No TPTP formula. May not be expressible in strict first order. Merge.kif 15275-15275 子類 Verb and Word
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 and Word

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