TreeView Knowledge Base Browser

appearance as argument number 1

(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	関係属性は Tourniquet の attribute では %n
(documentation Tourniquet EnglishLanguage "Any object used to stop or reduce Bleeding.")	Medicine.kif 16-16

appearance as argument number 2

(termFormat EnglishLanguage Tourniquet "tourniquet")

Medicine.kif 17-17

antecedent

(=>
    (holdsDuring ?TIME
        (attribute ?T Tourniquet))
    (exists (?P ?B ?A)
        (and
            (instance ?P Human)
            (instance ?B Bleeding)
            (instance ?A Attaching)
            (experiencer ?B ?P)
            (destination ?A ?P)
            (objectTransferred ?A ?T)
            (hasPurpose ?T
                (not
                    (exists (?B2)
                        (and
                            (instance ?B2 Bleeding)
                            (overlapsTemporally
                                (WhenFn ?B2)
                                (ImmediateFutureFn
                                    (WhenFn ?A)))
                            (experiencer ?B2 ?P))))))))

Medicine.kif 20-39

Tourniquet はオブジェクトの attribute では %n はオブジェクトIME の during holds %n{ない}
AutonomousAgent 工程 and 移動 AutonomousAgent は人［人間］の instance では %n 工程は Bleeding の instance では %n 移動は取付けの instance では %n AutonomousAgent が工程を experiences %n{ない} 移動は AutonomousAgent に ends %n{ない} objectTransferred 移動 and オブジェクトオブジェクトは工程2 工程2 は Bleeding の instance では %n 移動の time の existence のすぐ after は工程2 の time の existence と overlaps %n{dない} AutonomousAgent が工程2 を experiences %n{ない} の目的 %n{ない}

consequent

(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A Agent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))

Medicine.kif 67-78

移動は ApplyingTourniquet の instance では %n
AutonomousAgent エンティティー and オブジェクト AutonomousAgent は代理(人) の instance では %n エンティティーは哺乳動物の instance では %n Tourniquet はオブジェクトの attribute では %n は移動の time の existence の during holds %n{ない} 移動はエンティティーに ends %n{ない} AutonomousAgent は移動の agent では %n objectTransferred 移動 and オブジェクト

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: