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

Formal Language: 



KB Term:  Term intersection
English Word: 

  depth

Sigma KEE - depth
depth

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2661-2663
No TPTP formula. May not be expressible in strict first order. Merge.kif 7668-7673
No TPTP formula. May not be expressible in strict first order. Merge.kif 7665-7665 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7666-7666 depth is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7664-7664 depth is a subrelation of distance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3238-3238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3237-3237
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3236-3236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19172-19172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19171-19171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19170-19170

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2673
No TPTP formula. May not be expressible in strict first order. Merge.kif 7679-7684
No TPTP formula. May not be expressible in strict first order. Merge.kif 7675-7677

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2830-2855
No TPTP formula. May not be expressible in strict first order. Weather.kif 3035-3062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17414-17420


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