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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpeedFn

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 6565-6568
No TPTP formula. May not be expressible in strict first order. Merge.kif 6561-6561 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 6562-6562 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 6560-6560 Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6559-6559 Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6563-6563 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6558-6558 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 11028-11036
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 16562-16583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16590-16610
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 6583-6585


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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