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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BowlingBall

 Sigma KEE - MeasuringProcessFn
MeasuringProcessFn

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6323-6323
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6321-6321 MeasuringProcessFn 的 1 数量 是 过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6320-6320 MeasuringProcessFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6322-6322 MeasuringProcessFn 的所得值 是 测量 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6325-6325
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6324-6324

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6327-6332


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