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

Formal Language: 



KB Term:  Term intersection
English Word: 

  developmentalForm

 Sigma KEE - developmentalForm
developmentalForm

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3366-3368
No TPTP formula. May not be expressible in strict first order. Merge.kif 14378-14381
No TPTP formula. May not be expressible in strict first order. Merge.kif 14368-14368 发育形态 的 1 数量 是 有机物体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14369-14369 发育形态 的 2 数量 是 发育属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14365-14365 发育形态 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14364-14364 发育形态 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14366-14366 发育形态 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14367-14367 发育形态 是 属于 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 519-519
No TPTP formula. May not be expressible in strict first order. english_format.kif 524-524
No TPTP formula. May not be expressible in strict first order. french_format.kif 307-307
No TPTP formula. May not be expressible in strict first order. relations-it.txt 72-72
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2075-2075
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 259-259
No TPTP formula. May not be expressible in strict first order. relations-de.txt 674-674
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 113-113
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 328-328
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 335-335
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 106-106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19326-19326
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 520-520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19325-19325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19324-19324
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 161-161

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14383-14390

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14383-14390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 234-239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 220-224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 273-277


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