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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AttrFn
AttrFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1771-1772
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 326-327
No TPTP formula. May not be expressible in strict first order. Merge.kif 1778-1778 Attr 的 2 数量 是 属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1777-1777 Attr 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1774-1774 Attr 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1775-1775 Attr 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1776-1776 Attr 的所得值 是 客体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 219-219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 218-218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9012-9012
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9011-9011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9010-9010

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1780-1788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22260-22273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22280-22293
No TPTP formula. May not be expressible in strict first order. Merge.kif 1790-1795

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 155-157 实体 是 微分方程 的 instance 若且唯若 那个 实体 是 方程 跟 微分属性 的 attr 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22280-22293
No TPTP formula. May not be expressible in strict first order. Merge.kif 1797-1802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22254-22258


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