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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 est une instance de relation simple
No TPTP formula. May not be expressible in strict first order. Merge.kif 7763-7763 depth est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 7761-7761 depth est une sous-relation de 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 2712-2718
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 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