StopFn |
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 |
|
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 3482-3492 |
|
(=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 26600-26607 |
|
![]() |
![]() |