| 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 | |
| (instance StopFn UnaryFunction) | Mid-level-ontology.kif 427-427 | |
| (rangeSubclass StopFn IntentionalProcess) | Mid-level-ontology.kif 429-429 |
| 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 55480-55480 | |
| (termFormat ChineseTraditionalLanguage StopFn "停") | domainEnglishFormat.kif 55479-55479 | |
| (termFormat EnglishLanguage StopFn "stop") | domainEnglishFormat.kif 55478-55478 |
| 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 3859-3869 | |
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 27143-27150 |
|
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