StopFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation StopFn EnglishLanguage "(StopFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc.")	Mid-level-ontology.kif 424-426
(domain StopFn 1 Process)	Mid-level-ontology.kif 428-428	The number 1 argument of stop is an instance of process
(instance StopFn UnaryFunction)	Mid-level-ontology.kif 427-427	Stop is an instance of unary function
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 429-429	The values returned by stop are subclasses of intentional process

appearance as argument number 2

(format ChineseLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2375-2375
(format ChineseTraditionalLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2374-2374
(format EnglishLanguage StopFn "the stop of %1")	domainEnglishFormat.kif 2373-2373
(termFormat ChineseLanguage StopFn "停")	domainEnglishFormat.kif 55509-55509
(termFormat ChineseTraditionalLanguage StopFn "停")	domainEnglishFormat.kif 55508-55508
(termFormat EnglishLanguage StopFn "stop")	domainEnglishFormat.kif 55507-55507

antecedent

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

Mid-level-ontology.kif 431-436

If a physical is an instance of the stop of a process,
then there exists another physical such that the other physical is an instance of the process and the time of existence of the physical finishes the time of existence of the other physical

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 3885-3895	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has the purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
(=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE)))))	Mid-level-ontology.kif 27150-27157	If a physical is an instance of fire extinguisher, then the physical has the purpose there exists an entity such that the entity is an instance of the stop of fire and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: