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 The number 1 argument of speed scale attribute min max is an instance of speed scale attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2126-2126 The number 2 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2127-2127 The number 3 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2128-2128 speed scale attribute min max is an instance of ternary predicate

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 Miles per hour(s) and 1.0 miles per hour(s) are the min and max speed of Beaufort number 0
No TPTP formula. May not be expressible in strict first order. Weather.kif 384-384 1.0 Miles per hour(s) and 3.0 miles per hour(s) are the min and max speed of Beaufort number 1
No TPTP formula. May not be expressible in strict first order. Weather.kif 466-466 55.0 Miles per hour(s) and 63.0 miles per hour(s) are the min and max speed of Beaufort number 10
No TPTP formula. May not be expressible in strict first order. Weather.kif 475-475 64.0 Miles per hour(s) and 72.0 miles per hour(s) are the min and max speed of Beaufort number 11
No TPTP formula. May not be expressible in strict first order. Weather.kif 393-393 4.0 Miles per hour(s) and 7.0 miles per hour(s) are the min and max speed of Beaufort number 2
No TPTP formula. May not be expressible in strict first order. Weather.kif 403-403 8.0 Miles per hour(s) and 12.0 miles per hour(s) are the min and max speed of Beaufort number 3
No TPTP formula. May not be expressible in strict first order. Weather.kif 412-412 13.0 Miles per hour(s) and 18.0 miles per hour(s) are the min and max speed of Beaufort number 4
No TPTP formula. May not be expressible in strict first order. Weather.kif 421-421 19.0 Miles per hour(s) and 24.0 miles per hour(s) are the min and max speed of Beaufort number 5
No TPTP formula. May not be expressible in strict first order. Weather.kif 430-430 25.0 Miles per hour(s) and 31.0 miles per hour(s) are the min and max speed of Beaufort number 6
No TPTP formula. May not be expressible in strict first order. Weather.kif 439-439 32.0 Miles per hour(s) and 38.0 miles per hour(s) are the min and max speed of Beaufort number 7
No TPTP formula. May not be expressible in strict first order. Weather.kif 448-448 39.0 Miles per hour(s) and 46.0 miles per hour(s) are the min and max speed of Beaufort number 8
No TPTP formula. May not be expressible in strict first order. Weather.kif 457-457 47.0 Miles per hour(s) and 54.0 miles per hour(s) are the min and max speed of Beaufort number 9
No TPTP formula. May not be expressible in strict first order. Weather.kif 2151-2151 65.0 Miles per hour(s) and 85.0 miles per hour(s) are the min and max speed of EF0
No TPTP formula. May not be expressible in strict first order. Weather.kif 2159-2159 86.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of EF1
No TPTP formula. May not be expressible in strict first order. Weather.kif 2167-2167 111.0 Miles per hour(s) and 135.0 miles per hour(s) are the min and max speed of EF2
No TPTP formula. May not be expressible in strict first order. Weather.kif 2175-2175 136.0 Miles per hour(s) and 165.0 miles per hour(s) are the min and max speed of EF3
No TPTP formula. May not be expressible in strict first order. Weather.kif 2183-2183 166.0 Miles per hour(s) and 200.0 miles per hour(s) are the min and max speed of EF4
No TPTP formula. May not be expressible in strict first order. Weather.kif 2396-2396 74.0 Miles per hour(s) and 95.0 miles per hour(s) are the min and max speed of SSHWS1
No TPTP formula. May not be expressible in strict first order. Weather.kif 2408-2408 96.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of SSHWS2
No TPTP formula. May not be expressible in strict first order. Weather.kif 2420-2420 111.0 Miles per hour(s) and 129.0 miles per hour(s) are the min and max speed of SSHWS3
No TPTP formula. May not be expressible in strict first order. Weather.kif 2432-2432 130.0 Miles per hour(s) and 156.0 miles per hour(s) are the min and max speed of SSHWS4


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