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 O argumento numero 1 de VelocityFn e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Merge.kif 6669-6669 O argumento numero 2 de VelocityFn e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 6670-6670 O argumento numero 3 de VelocityFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order. Merge.kif 6671-6671 O argumento numero 4 de VelocityFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Merge.kif 6666-6666 VelocityFn e' uma instancia de Funcao Quaternaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 6667-6667 VelocityFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 O contra-dominio de VelocityFn e' uma instancia de Funcao de Quantidade

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

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


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. Weather.kif 115-123


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