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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntentionalRelation

 Sigma KEE - IntentionalRelation
IntentionalRelation(有意图的关系)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1920-1921
No TPTP formula. May not be expressible in strict first order. Merge.kif 2673-2675
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 547-548
No TPTP formula. May not be expressible in strict first order. Merge.kif 2670-2670 有意图的关系 是 可继承的关系 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 有意图的关系 是 关系 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22978-22978 同居 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23362-23362 国内的合作伙伴 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22943-22943 朋友 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2722-2722 感兴趣 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2685-2685 拥有 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22876-22876 服务供应者 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22887-22887 受服务者 是 有意图的关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2708-2708 对象态度 是 有意图的关系 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2694-2694 命题态度 是 有意图的关系 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30385-30385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30384-30384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30383-30383

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2677-2682


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