| 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 589-591 | |
| (domain StopFn 1 Process) | Mid-level-ontology.kif 593-593 | |
| (instance StopFn UnaryFunction) | Mid-level-ontology.kif 592-592 | |
| (rangeSubclass StopFn IntentionalProcess) | Mid-level-ontology.kif 594-594 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage StopFn "%1 的 stop ") | domainEnglishFormat.kif 2367-2367 | |
| (format ChineseTraditionalLanguage StopFn "%1 的 stop ") | domainEnglishFormat.kif 2366-2366 | |
| (format EnglishLanguage StopFn "the stop of %1") | domainEnglishFormat.kif 2365-2365 | |
| (termFormat ChineseLanguage StopFn "停") | domainEnglishFormat.kif 55390-55390 | |
| (termFormat ChineseTraditionalLanguage StopFn "停") | domainEnglishFormat.kif 55389-55389 | |
| (termFormat EnglishLanguage StopFn "stop") | domainEnglishFormat.kif 55388-55388 |
| antecedent |
|
|
| (=> (instance ?S (StopFn ?P)) (exists (?I) (and (instance ?I ?P) (finishes (WhenFn ?S) (WhenFn ?I))))) |
Mid-level-ontology.kif 596-601 |
| 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 3955-3965 | |
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 23430-23437 |
|
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