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

Formal Language: 



KB Term:  Term intersection
English Word: 

  distributes

 Sigma KEE - distributes
distributes

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2058-2061
No TPTP formula. May not be expressible in strict first order. Merge.kif 3724-3728
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 703-706
No TPTP formula. May not be expressible in strict first order. Merge.kif 3721-3721 分布 的 1 数量 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3722-3722 分布 的 2 数量 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3720-3720 分布 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 95-95
No TPTP formula. May not be expressible in strict first order. english_format.kif 95-95
No TPTP formula. May not be expressible in strict first order. french_format.kif 70-70
No TPTP formula. May not be expressible in strict first order. relations-it.txt 79-79
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1896-1896
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 22-22
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 113-113
No TPTP formula. May not be expressible in strict first order. relations-de.txt 107-107
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 119-119
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 89-89
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 113-113
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 96-96
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19968-19968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19967-19967
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19966-19966
No TPTP formula. May not be expressible in strict first order. terms-de.txt 30-30
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 174-174


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