TreeView Knowledge Base Browser - VelocityFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 6675-6678
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 6669-6669	The number 1 argument of velocity is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6670-6670	The number 2 argument of velocity is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6671-6671	The number 3 argument of velocity is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6672-6672	The number 4 argument of velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6667-6667	Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6668-6668	Velocity is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6673-6673	The range of velocity is an instance of function quantity

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 61456-61456
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 61455-61455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61454-61454

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	If a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 182-187	If a physical is an instance of wind flow and the measure of the physical is a length measure per a time duration in a region in the direction an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4911-4915	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6680-6682	If the measure of a physical is a length measure per a time duration in a region in the direction a directional attribute, then the measure of the physical is the length measure per the time duration

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4911-4915	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute

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