| appearance as argument number 1 |
|
| (disjointRelation manner attribute) | Merge.kif 1638-1638 | 形式 和 属于 是 disjoint 关系 |
| (documentation manner ChineseLanguage "(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示，这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。") | chinese_format.kif 1716-1718 | |
| (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 1640-1644 | |
| (domain manner 1 Process) | Merge.kif 1636-1636 | 形式 的 1 数量 是 过程 的 instance |
| (domain manner 2 Attribute) | Merge.kif 1637-1637 | 形式 的 2 数量 是 属性 的 instance |
| (instance manner AsymmetricRelation) | Merge.kif 1631-1631 | 形式 是 非对称关系 的 instance |
| (instance manner BinaryPredicate) | Merge.kif 1634-1634 | 形式 是 二元谓语 的 instance |
| (instance manner IrreflexiveRelation) | Merge.kif 1632-1632 | 形式 是 非自反关系 的 instance |
| (instance manner TotalValuedRelation) | Merge.kif 1633-1633 | 形式 是 总值关系 的 instance |
| (subrelation manner property) | Merge.kif 1635-1635 | 形式 是 特性 的 subrelation |
| 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 150-150 | |
| (termFormat ChineseLanguage manner "形式") | chinese_format.kif 150-150 | |
| (termFormat ChineseLanguage manner "方式") | domainEnglishFormat.kif 35926-35926 | |
| (termFormat ChineseTraditionalLanguage manner "方式") | domainEnglishFormat.kif 35925-35925 | |
| (termFormat EnglishLanguage manner "manner") | domainEnglishFormat.kif 35924-35924 |
| 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 28468-28482 | 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2 |
| (=> (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 28389-28400 | |
| (=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating)) |
Cars.kif 4927-4929 |
|
| 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 10535-10546 |
|
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