| appearance as argument number 1 |
|
| (disjointRelation manner attribute) | Merge.kif 2790-2790 | manner と attribute は disjoint では %n |
| (documentation manner ChineseLanguage "(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示，这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。") | Merge.kif 2798-2800 | |
| (documentation manner EnglishLanguage "(manner ?PROCESS ?MANNER) means that the Process ?PROCESS is qualified by the Attribute ?MANNER. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.") | Merge.kif 2792-2796 | |
| (documentation manner JapaneseLanguage "(manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。") | Merge.kif 2802-2805 | |
| (domain manner 1 Process) | Merge.kif 2789-2789 | manner の数値 1 引数は 工程 の instance では %n |
| (instance manner AsymmetricRelation) | Merge.kif 2785-2785 | manner は 非対称関係 の instance では %n |
| (instance manner IrreflexiveRelation) | Merge.kif 2786-2786 | manner は 非反射関係 の instance では %n |
| (instance manner TotalValuedRelation) | Merge.kif 2787-2787 | manner は 合計値関係 の instance では %n |
| (subrelation manner property) | Merge.kif 2788-2788 | manner は property の subrelation では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage manner "%1 %n 是以 %2 的形式发生") | chinese_format.kif 149-149 | |
| (format EnglishLanguage manner "%1 is %n performed in the manner %2") | english_format.kif 198-198 | |
| (format JapaneseLanguage manner "%1 は %2 の方法で実行され %n") | english_format.kif 199-199 | |
| (termFormat ChineseLanguage manner "形式") | chinese_format.kif 150-150 | termFormat ChineseLanguage, manner and "形式" |
| (termFormat ChineseLanguage manner "方式") | domainEnglishFormat.kif 35923-35923 | termFormat ChineseLanguage, manner and "方式" |
| (termFormat ChineseTraditionalLanguage manner "方式") | domainEnglishFormat.kif 35922-35922 | termFormat ChineseTraditionalLanguage, manner and "方式" |
| (termFormat EnglishLanguage manner "manner") | domainEnglishFormat.kif 35921-35921 | termFormat EnglishLanguage, manner and "manner" |
| antecedent |
|
|
| (<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2)))))) |
Mid-level-ontology.kif 28436-28450 | 工程 は Harmless の方法で実行され %n 工程 は 損害を与える の instance では 工程2 工程2 は 損害を与える の instance では %n 工程2 は 工程% の subprocess では %n 工程2 工程2 は 損害を与える の instance では %n 工程 は 工程2 を causes %n{ない} |
| (=> (manner ?P Solely) (and (exists (?H) (and (involvedInEvent ?P ?H) (instance ?H Agent))) (not (exists (?H2) (and (involvedInEvent ?P ?H2) (instance ?H2 Agent)))))) |
Mid-level-ontology.kif 28360-28371 | |
| (=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating)) |
Cars.kif 4917-4919 |
|
| consequent |
|
|
| (=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionalAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (EndFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))) (and (holdsDuring (EndFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (BeginFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))))))) |
Merge.kif 15417-15428 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners