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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - speedScaleAttributeMinMax
speedScaleAttributeMinMax

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2121-2123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2116-2119
No TPTP formula. May not be expressible in strict first order. Weather.kif 2125-2125 时速级数属性最低最高 的 1 数量 是 时速级数属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2126-2126 时速级数属性最低最高 的 2 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2127-2127 时速级数属性最低最高 的 3 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2128-2128 时速级数属性最低最高 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2124-2124
No TPTP formula. May not be expressible in strict first order. Weather.kif 2120-2120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10352-10352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10351-10351

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Weather.kif 2096-2114
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Weather.kif 2130-2143

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 375-375 浦氏0风级 的最低和最高是 0.0 英里每小時 和 1.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 384-384 浦氏1风级 的最低和最高是 1.0 英里每小時 和 3.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 466-466 浦氏10风级 的最低和最高是 55.0 英里每小時 和 63.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 475-475 浦氏11风级 的最低和最高是 64.0 英里每小時 和 72.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 393-393 浦氏2风级 的最低和最高是 4.0 英里每小時 和 7.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 403-403 浦氏3风级 的最低和最高是 8.0 英里每小時 和 12.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 412-412 浦氏4风级 的最低和最高是 13.0 英里每小時 和 18.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 421-421 浦氏5风级 的最低和最高是 19.0 英里每小時 和 24.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 430-430 浦氏6风级 的最低和最高是 25.0 英里每小時 和 31.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 439-439 浦氏7风级 的最低和最高是 32.0 英里每小時 和 38.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 448-448 浦氏8风级 的最低和最高是 39.0 英里每小時 和 46.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 457-457 浦氏9风级 的最低和最高是 47.0 英里每小時 和 54.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2151-2151 改良藤田0 的最低和最高是 65.0 英里每小時 和 85.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2159-2159 改良藤田1 的最低和最高是 86.0 英里每小時 和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2167-2167 改良藤田2 的最低和最高是 111.0 英里每小時 和 135.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2175-2175 改良藤田3 的最低和最高是 136.0 英里每小時 和 165.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2183-2183 改良藤田4 的最低和最高是 166.0 英里每小時 和 200.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2396-2396 萨菲尔辛普森飓风1 的最低和最高是 74.0 英里每小時 和 95.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2408-2408 萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時 和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2420-2420 萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時 和 129.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2432-2432 萨菲尔辛普森飓风4 的最低和最高是 130.0 英里每小時 和 156.0 英里每小時


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