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


KB Term:  Term intersection
English Word: 

  LaborStriking

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

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


(subclass Bequeathing UnilateralGiving) Mid-level-ontology.kif 20597-20597 Bequeathing is a subclass of unilateral giving
(documentation Bequeathing EnglishLanguage "Any UnilateralGiving where the agent wills some part of his/ her property to someone else upon his/ her death.") Mid-level-ontology.kif 20598-20599 Bequeathing is a subclass of unilateral giving

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


(termFormat EnglishLanguage Bequeathing "bequeathing") domainEnglishFormat.kif 10767-10767
(termFormat ChineseTraditionalLanguage Bequeathing "遺贈") domainEnglishFormat.kif 10768-10768
(termFormat ChineseLanguage Bequeathing "遗赠") domainEnglishFormat.kif 10769-10769

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


(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (objectTransferred ?B ?PROP))
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (possesses ?P ?PROP))
            (confersNorm
                (possesses ?H ?PROP) Permission ?P))))		 Mid-level-ontology.kif 20601-20617 If X is an instance of bequeathing, Y is an agent of X, X ends up at Z, and the object transferred in X is W, then there exists V such that V is an instance of death, Y experiences V, the time of existence of V happens earlier than the time of existence of X, Y possesses W holds during immediately before the time of existence of V, and Z possesses W confers norm permission for Y

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


(=>
    (instance ?T Testament)
    (exists (?B)
        (and
            (instance ?B Bequeathing)
            (refers ?T ?B))))		 Mid-level-ontology.kif 18209-18214 If X is an instance of testament, then there exists Y such that Y is an instance of bequeathing and X includes a reference to Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners