TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage StopFn "the stop of %1")	domainEnglishFormat.kif 2373-2373
(format ChineseTraditionalLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2374-2374
(format ChineseLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2375-2375
(termFormat EnglishLanguage StopFn "stop")	domainEnglishFormat.kif 55471-55471
(termFormat ChineseTraditionalLanguage StopFn "停")	domainEnglishFormat.kif 55472-55472
(termFormat ChineseLanguage StopFn "停")	domainEnglishFormat.kif 55473-55473

antecedent

(=>
    (instance ?S
        (StopFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (finishes
                (WhenFn ?S)
                (WhenFn ?I)))))

Mid-level-ontology.kif 421-426

If X is an instance of the stop of Y, then there exists Z such that Z is an instance of Y and the time of existence of X finishes the time of existence of Z

consequent

(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	Mid-level-ontology.kif 4043-4053	If X is an instance of vehicle brake, Y is an instance of vehicle, and X is a part of Y, then X has the purpose there exists Z such that Z is an instance of the stop of motion, Y is a patient of Z, and X is an instrument for Z
(=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE)))))	Mid-level-ontology.kif 27784-27791	If X is an instance of fire extinguisher, then X has the purpose there exists Y such that Y is an instance of the stop of fire and X is an instrument for Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: