TreeView Knowledge Base Browser - FlowFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FlowFn

FlowFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4896-4897
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4893-4893	The number 1 argument of flow is an instance of flow region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4892-4892	Flow is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4894-4894	The range of flow is an instance of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1069-1069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1068-1068
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1067-1067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24338-24338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24337-24337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24336-24336

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
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

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