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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlowFn

 Sigma KEE - FlowFn
FlowFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4896-4897
No TPTP formula. May not be expressible in strict first order. Geography.kif 4893-4893 域 流, 1 and 流動區域
No TPTP formula. May not be expressible in strict first order. Geography.kif 4892-4892 例 流 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Geography.kif 4894-4894 範圍 流 and Motion

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1069-1069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1068-1068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1067-1067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24338-24338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24337-24337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24336-24336

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4905-4909
No TPTP formula. May not be expressible in strict first order. Geography.kif 4899-4903
No TPTP formula. May not be expressible in strict first order. Geography.kif 4911-4915


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