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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilesPerHour
MilesPerHour(miles per hour)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2212-2213
No TPTP formula. May not be expressible in strict first order. Weather.kif 2210-2211
No TPTP formula. May not be expressible in strict first order. Weather.kif 2216-2216 Miles per hour is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 2215-2215 Miles per hour is an instance of function quantity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2214-2214 Miles per hour has &ames$"name" "mph"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10437-10437 Miles per hour has &ames$"name" "mph"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10436-10436 Miles per hour has &ames$"name" "mph"

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2218-2224 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 11399-11407
No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
No TPTP formula. May not be expressible in strict first order. Cars.kif 2868-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 2914-2932
No TPTP formula. May not be expressible in strict first order. Cars.kif 2941-2957
No TPTP formula. May not be expressible in strict first order. Cars.kif 2893-2905
No TPTP formula. May not be expressible in strict first order. Weather.kif 1732-1748
No TPTP formula. May not be expressible in strict first order. Weather.kif 1755-1769
No TPTP formula. May not be expressible in strict first order. Weather.kif 1709-1725
No TPTP formula. May not be expressible in strict first order. Weather.kif 1688-1702
No TPTP formula. May not be expressible in strict first order. Weather.kif 1670-1686
No TPTP formula. May not be expressible in strict first order. Weather.kif 1622-1639
No TPTP formula. May not be expressible in strict first order. Weather.kif 2612-2630
No TPTP formula. May not be expressible in strict first order. Weather.kif 1482-1489

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. Cars.kif 2914-2932
No TPTP formula. May not be expressible in strict first order. Cars.kif 2941-2957
No TPTP formula. May not be expressible in strict first order. Cars.kif 2893-2905
No TPTP formula. May not be expressible in strict first order. Weather.kif 2959-2973
No TPTP formula. May not be expressible in strict first order. Weather.kif 2707-2721
No TPTP formula. May not be expressible in strict first order. Weather.kif 2612-2630
No TPTP formula. May not be expressible in strict first order. Weather.kif 472-484
No TPTP formula. May not be expressible in strict first order. Weather.kif 724-735
No TPTP formula. May not be expressible in strict first order. Weather.kif 758-769
No TPTP formula. May not be expressible in strict first order. Weather.kif 665-675
No TPTP formula. May not be expressible in strict first order. Weather.kif 644-654
No TPTP formula. May not be expressible in strict first order. Weather.kif 700-711

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 363-363 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 372-372 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 454-454 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 463-463 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 381-381 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 391-391 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 400-400 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 409-409 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 418-418 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 427-427 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 436-436 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 445-445 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 2667-2667 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 2675-2675 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 2683-2683 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 2691-2691 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 2699-2699 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 2912-2912 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 2924-2924 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 2936-2936 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 2948-2948 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