TreeView Knowledge Base Browser

appearance as argument number 1

(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 18703-18704
(subclass Bequeathing UnilateralGiving)	Mid-level-ontology.kif 18702-18702	Bequeathing は一方的な寄付の subclass では %n

appearance as argument number 2

(termFormat ChineseLanguage Bequeathing "遗赠")	domainEnglishFormat.kif 10763-10763
(termFormat ChineseTraditionalLanguage Bequeathing "遺贈")	domainEnglishFormat.kif 10762-10762
(termFormat EnglishLanguage Bequeathing "bequeathing")	domainEnglishFormat.kif 10761-10761

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 ?P
                (possesses ?H ?PROP) Permission))))

Mid-level-ontology.kif 18706-18722

移動は Bequeathing の instance では %n AutonomousAgent は移動の agent では %n 移動はエンティティーに ends %n{ない} objectTransferred 移動 and AutonomousAgentROP
工程工程は死の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程の time の existence は移動の time の existence より earlier happens %n{ない} AutonomousAgent は AutonomousAgentROP を possesses %n{ない} は工程の time の existence の immediately before の during holds %n{ない} confersNorm AutonomousAgent, エンティティーは AutonomousAgentROP を possesses %n{ない} and Permission

consequent

(=>
    (instance ?T Testament)
    (exists (?B)
        (and
            (instance ?B Bequeathing)
            (refers ?T ?B))))

Mid-level-ontology.kif 16622-16627

エンティティーは Testament の instance では %n
エンティティーエンティティーは Bequeathing の instance では %n エンティティーはエンティティーへの reference を includes %n{ない}

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

KB Term:			Term intersection

English Word: