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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FullyFormed

 Sigma KEE - FullyFormed
FullyFormed(完全成型)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4022-4022
No TPTP formula. May not be expressible in strict first order. Merge.kif 18163-18164
No TPTP formula. May not be expressible in strict first order. Merge.kif 18162-18162 完全成型 是 发育属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18175-18175 没有完全形成 是 完全成型 的相反
No TPTP formula. May not be expressible in strict first order. Merge.kif 18158-18158 完全成型 是所有的 发育属性 的 attributes
No TPTP formula. May not be expressible in strict first order. Merge.kif 18176-18176 没有完全形成 是 完全成型 的直接后续属性
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25196-25196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25195-25195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25194-25194

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 233-239
No TPTP formula. May not be expressible in strict first order. Merge.kif 18166-18172

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 227-231


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