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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14332-14335
No TPTP formula. May not be expressible in strict first order. Merge.kif 14322-14322 The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14323-14323 The number 2 argument of developmental form is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 14319-14319 developmental form is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14318-14318 developmental form is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14320-14320 developmental form is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14321-14321 developmental form is a subrelation of attribute

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 14337-14344

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14337-14344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 241-246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 227-231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-284


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