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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChangeOfPossession
ChangeOfPossession(change of possession)alien, alienate, change_hands, change_owners, convey, demise, desacralize, negociate, pass, secularize, transfer, vest

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


s__documentation(s__ChangeOfPossession,s__ChineseLanguage,'"这是一组 Process Class,它出现在当 某样东西的拥有权从一个 Agent 转换到另外一个时。"')

chinese_format.kif 3071-3072
s__documentation(s__ChangeOfPossession,s__EnglishLanguage,'"The Class of Processes where ownership of something is transferred from one Agent to another."')

Merge.kif 11117-11118
s__relatedInternalConcept(s__ChangeOfPossession,s__possesses__m)

Merge.kif 11115-11115 Change of possession is internally related to possesses
s__subclass(s__ChangeOfPossession,s__SocialInteraction)

s__instance(s__ChangeOfPossession,s__SetOrClass)

s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 11114-11114 Change of possession is a subclass of social interaction

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


s__subclass(s__Exporting,s__ChangeOfPossession)

s__instance(s__Exporting,s__SetOrClass)

s__instance(s__ChangeOfPossession,s__SetOrClass)

Economy.kif 2398-2398 Exporting is a subclass of change of possession
s__subclass(s__Getting,s__ChangeOfPossession)

s__instance(s__Getting,s__SetOrClass)

s__instance(s__ChangeOfPossession,s__SetOrClass)

Merge.kif 11236-11236 Getting is a subclass of change of possession
s__instance(s__Giving,s__SetOrClass)

s__subclass(s__Giving,s__ChangeOfPossession)

s__instance(s__ChangeOfPossession,s__SetOrClass)

Merge.kif 11141-11141 Giving is a subclass of change of possession
s__instance(s__Sharing,s__SetOrClass)

s__instance(s__ChangeOfPossession,s__SetOrClass)

s__subclass(s__Sharing,s__ChangeOfPossession)

Mid-level-ontology.kif 16698-16698 Sharing is a subclass of change of possession
s__subclass(s__Transaction,s__ChangeOfPossession)

s__instance(s__Transaction,s__SetOrClass)

s__instance(s__ChangeOfPossession,s__SetOrClass)

Merge.kif 11270-11270 Transaction is a subclass of change of possession
s__termFormat(s__ChineseLanguage,s__ChangeOfPossession,'"改变所有权"')

chinese_format.kif 1132-1132
s__termFormat(s__EnglishLanguage,s__ChangeOfPossession,'"change of possession"')

english_format.kif 1486-1486

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11129-11139
No TPTP formula. May not be expressible in strict first order. Merge.kif 11120-11127


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