Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  manner

 Sigma KEE - manner
manner

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1734-1734 形式 和 属于 是 disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1716-1718
No TPTP formula. May not be expressible in strict first order. Merge.kif 1736-1740
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 320-323
No TPTP formula. May not be expressible in strict first order. Merge.kif 1732-1732 形式 的 1 数量 是 过程 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1733-1733 形式 的 2 数量 是 属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1727-1727 形式 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1730-1730 形式 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1728-1728 形式 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1729-1729 形式 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1731-1731 形式 是 特性 的 subrelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 149-149
No TPTP formula. May not be expressible in strict first order. english_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. french_format.kif 95-95
No TPTP formula. May not be expressible in strict first order. relations-it.txt 173-173
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1923-1923
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 47-47
No TPTP formula. May not be expressible in strict first order. relations-de.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 211-211
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 114-114
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 94-94
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 343-343
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36011-36011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36010-36010
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36009-36009
No TPTP formula. May not be expressible in strict first order. terms-de.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 344-344

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30296-30310 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30207-30218
No TPTP formula. May not be expressible in strict first order. Cars.kif 4946-4948

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11279-11290


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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