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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VelocityFn

 Sigma KEE - VelocityFn
VelocityFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2486-2489
No TPTP formula. May not be expressible in strict first order. Merge.kif 6674-6677
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1181-1183
No TPTP formula. May not be expressible in strict first order. Merge.kif 6668-6668 域 速度, 1 and LengthMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6669-6669 域 速度, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6670-6670 域 速度, 3 and Region
No TPTP formula. May not be expressible in strict first order. Merge.kif 6671-6671 域 速度, 4 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 6666-6666 例 速度 and QuaternaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 6667-6667 例 速度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 範圍 速度 and FunctionQuantity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 661-661
No TPTP formula. May not be expressible in strict first order. english_format.kif 664-664
No TPTP formula. May not be expressible in strict first order. french_format.kif 397-397
No TPTP formula. May not be expressible in strict first order. relations-it.txt 310-310
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2127-2127
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 349-349
No TPTP formula. May not be expressible in strict first order. relations-de.txt 864-864
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 345-345
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 419-419
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 440-440
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 502-502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61454-61454
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 662-662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61453-61453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61452-61452

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


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 194-199
No TPTP formula. May not be expressible in strict first order. Geography.kif 4911-4915
No TPTP formula. May not be expressible in strict first order. Merge.kif 6679-6681

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