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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeedFn
SpeedFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2483-2485
No TPTP formula. May not be expressible in strict first order. Merge.kif 6571-6574
No TPTP formula. May not be expressible in strict first order. Merge.kif 6567-6567 The number 1 argument of speed is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6568-6568 The number 2 argument of speed is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6566-6566 Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6565-6565 Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6569-6569 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6564-6564 Speed is a subrelation of per

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 659-659
No TPTP formula. May not be expressible in strict first order. english_format.kif 662-662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54585-54585
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54584-54584
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54583-54583

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Merge.kif 11034-11042
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Geography.kif 4797-4801
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1726-1744
No TPTP formula. May not be expressible in strict first order. Geography.kif 3851-3859

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1701-1707 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. Mid-level-ontology.kif 16586-16607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16614-16634
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Geography.kif 4797-4801
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3867
No TPTP formula. May not be expressible in strict first order. Merge.kif 6589-6591


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