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

Formal Language: 



KB Term:  Term intersection
English Word: 

  highTide

 Sigma KEE - highTide
highTide

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5013-5016
No TPTP formula. May not be expressible in strict first order. Geography.kif 5010-5010 highTide 的 1 数量 是 地区 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5011-5011 highTide 的 2 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5012-5012 highTide 的 3 数量 是 长度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5009-5009 highTide 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1189-1189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1188-1188
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1187-1187
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65850-65850

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5027-5037


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