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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlowRegion
FlowRegion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9044-9058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9042-9042 FlowRegion est une sous-classe de r�gion

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 62-62 AirStream est une sous-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9032-9032 Plan d'eau en mouvement est une sous-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 4943-4943 Tide est une sous-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 4931-4931 WaterCurrent est une sous-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24344-24344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24343-24343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24342-24342

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4893-4893 Le nombre 1 argument de FlowFn est une instance de FlowRegion
No TPTP formula. May not be expressible in strict first order. Weather.kif 597-597 Le nombre 2 argument de radiusOfMaximumWind est une instance de FlowRegion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9060-9064


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