TreeView Knowledge Base Browser - Sharing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Sharing

Sharing(sharing)

osculate, parcel, partake, partake_in, portion, share

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18561-18562
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18560-18560	Sharing is a subclass of change of possession

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18564-18577

If a process is an instance of sharing and an agent is an agent of the process and the process ends up at an entity and an object is a patient of the process,
then there exist another process and another object such that the other process is an instance of giving and the other process is a subprocess of the process and the other object is a patient of the other process and the other object is a proper part of the object and the agent is an agent of the other process and the other process ends up at the entity

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