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 6381-6384
No TPTP formula. May not be expressible in strict first order. Merge.kif 6377-6377 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 6378-6378 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 6376-6376 Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6375-6375 Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6379-6379 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6374-6374 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 665-665
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. chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54583-54583
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54582-54582

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2898-2916
No TPTP formula. May not be expressible in strict first order. Merge.kif 10464-10472
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 4685-4689
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 3774-3776

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 13750-13771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13778-13798
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 4685-4689
No TPTP formula. May not be expressible in strict first order. Geography.kif 3778-3780
No TPTP formula. May not be expressible in strict first order. Merge.kif 6399-6401


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