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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Raindrop

 Sigma KEE - Raindrop
Raindrop(雨点)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2971-2972
No TPTP formula. May not be expressible in strict first order. Weather.kif 2969-2970
No TPTP formula. May not be expressible in strict first order. Weather.kif 2975-2975 雨点 是 液体滴 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2974-2974
No TPTP formula. May not be expressible in strict first order. Weather.kif 2973-2973

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2977-2983

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1154-1166


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