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 2104-2106
No TPTP formula. May not be expressible in strict first order. Weather.kif 2099-2102
No TPTP formula. May not be expressible in strict first order. Weather.kif 2108-2108 时速级数属性最低最高 的 1 数量 是 时速级数属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2109-2109 时速级数属性最低最高 的 2 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2110-2110 时速级数属性最低最高 的 3 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2111-2111 时速级数属性最低最高 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2107-2107
No TPTP formula. May not be expressible in strict first order. Weather.kif 2103-2103
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 2348-2367
No TPTP formula. May not be expressible in strict first order. Weather.kif 2079-2097
No TPTP formula. May not be expressible in strict first order. Weather.kif 337-354
No TPTP formula. May not be expressible in strict first order. Weather.kif 2113-2126

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 363-363 浦氏0风级 的最低和最高是 0.0 英里每小時 和 1.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 372-372 浦氏1风级 的最低和最高是 1.0 英里每小時 和 3.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 454-454 浦氏10风级 的最低和最高是 55.0 英里每小時 和 63.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 463-463 浦氏11风级 的最低和最高是 64.0 英里每小時 和 72.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 381-381 浦氏2风级 的最低和最高是 4.0 英里每小時 和 7.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 391-391 浦氏3风级 的最低和最高是 8.0 英里每小時 和 12.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 400-400 浦氏4风级 的最低和最高是 13.0 英里每小時 和 18.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 409-409 浦氏5风级 的最低和最高是 19.0 英里每小時 和 24.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 418-418 浦氏6风级 的最低和最高是 25.0 英里每小時 和 31.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 427-427 浦氏7风级 的最低和最高是 32.0 英里每小時 和 38.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 436-436 浦氏8风级 的最低和最高是 39.0 英里每小時 和 46.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 445-445 浦氏9风级 的最低和最高是 47.0 英里每小時 和 54.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2134-2134 改良藤田0 的最低和最高是 65.0 英里每小時 和 85.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2142-2142 改良藤田1 的最低和最高是 86.0 英里每小時 和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2150-2150 改良藤田2 的最低和最高是 111.0 英里每小時 和 135.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2158-2158 改良藤田3 的最低和最高是 136.0 英里每小時 和 165.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2166-2166 改良藤田4 的最低和最高是 166.0 英里每小時 和 200.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2379-2379 萨菲尔辛普森飓风1 的最低和最高是 74.0 英里每小時 和 95.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2391-2391 萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時 和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2403-2403 萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時 和 129.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2415-2415 萨菲尔辛普森飓风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