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 7765-7770
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1380-1383
No TPTP formula. May not be expressible in strict first order. Merge.kif 7762-7762 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7763-7763 depth is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7761-7761 depth is a subrelation of distance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3234-3234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3233-3233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3232-3232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19182-19182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19181-19181
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19180-19180

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2700-2706
No TPTP formula. May not be expressible in strict first order. Merge.kif 7776-7781
No TPTP formula. May not be expressible in strict first order. Merge.kif 7772-7774

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2813-2838
No TPTP formula. May not be expressible in strict first order. Weather.kif 3018-3045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17599-17605


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