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 e' uma sub-classe de Regiao

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 62-62 AirStream e' uma sub-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9032-9032 Area aquatica em movimento e' uma sub-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 4943-4943 Tide e' uma sub-classe de FlowRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 4931-4931 WaterCurrent e' uma sub-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 O argumento numero 1 de FlowFn e' uma instancia de FlowRegion
No TPTP formula. May not be expressible in strict first order. Weather.kif 597-597 O argumento numero 2 de radiusOfMaximumWind e' uma instancia 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