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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sharing

 Sigma KEE - Sharing
Sharing(分享)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18588-18589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18587-18587 分享 是 改变所有权 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52439-52439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52438-52438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52437-52437

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18591-18604


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