| 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 431-433 | |
| (domain StopFn 1 Process) | Mid-level-ontology.kif 435-435 | |
| (instance StopFn UnaryFunction) | Mid-level-ontology.kif 434-434 | |
| (rangeSubclass StopFn IntentionalProcess) | Mid-level-ontology.kif 436-436 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage StopFn "%1 的 stop ") | domainEnglishFormat.kif 2371-2371 | |
| (format ChineseTraditionalLanguage StopFn "%1 的 stop ") | domainEnglishFormat.kif 2370-2370 | |
| (format EnglishLanguage StopFn "the stop of %1") | domainEnglishFormat.kif 2369-2369 | |
| (termFormat ChineseLanguage StopFn "停") | domainEnglishFormat.kif 55488-55488 | |
| (termFormat ChineseTraditionalLanguage StopFn "停") | domainEnglishFormat.kif 55487-55487 | |
| (termFormat EnglishLanguage StopFn "stop") | domainEnglishFormat.kif 55486-55486 |
| antecedent |
|
|
| (=> (instance ?S (StopFn ?P)) (exists (?I) (and (instance ?I ?P) (finishes (WhenFn ?S) (WhenFn ?I))))) |
Mid-level-ontology.kif 438-443 |
| 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 3388-3398 | |
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 25413-25420 |
|
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