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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bequeathing
Bequeathing(bequeathing)bequeath, bequest, devise, entail, fee-tail, leave, legacy, will

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


s__documentation(s__Bequeathing,s__EnglishLanguage,'"Any UnilateralGiving where the agent wills some part of his/ her property to someone else upon his/ her death."')

Mid-level-ontology.kif 17708-17709
s__subclass(s__Bequeathing,s__UnilateralGiving)

s__instance(s__Bequeathing,s__SetOrClass)

s__instance(s__UnilateralGiving,s__SetOrClass)

Mid-level-ontology.kif 17707-17707 Bequeathing is a subclass of unilateral giving

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


s__termFormat(s__ChineseLanguage,s__Bequeathing,'"遗赠"')

domainEnglishFormat.kif 10772-10772
s__termFormat(s__ChineseTraditionalLanguage,s__Bequeathing,'"遺贈"')

domainEnglishFormat.kif 10771-10771
s__termFormat(s__EnglishLanguage,s__Bequeathing,'"bequeathing"')

domainEnglishFormat.kif 10770-10770

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


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

consequent
-------------------------


( ! [V__T] :
   ((s__instance(V__T,s__Testament) =>
       (( ? [V__B] :
           ((s__instance(V__B,s__Bequeathing) &
               s__refers(V__T,V__B))))))
   )
)

Mid-level-ontology.kif 15735-15740


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