TreeView Knowledge Base Browser - flows

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - flows

flows

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5437-5439
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	O argumento numero 1 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5428-5428	O argumento numero 1 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	O argumento numero 2 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5429-5429	O argumento numero 2 de flows e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5424-5424	flows e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5423-5423	flows e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5425-5425	flows e' uma instancia de Relacao Transitiva

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1077-1077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1076-1076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1075-1075
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5434-5434	tributary e' uma sub-relacao de flows
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24356-24356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24355-24355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24354-24354

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	River e' uma instancia de River Objeto e' uma instancia de BodyOfWater flows River and Objeto Area Aquatica Area Aquatica e' uma instancia de RiverMouth streamOutfall Area Aquatica and River Area Aquatica e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5442-5444	flows Objeto and Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5446-5448	flows Objeto and Objeto Objeto e' Upstream em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5533-5542	Objeto e' uma instancia de RiverSystem Objeto e' uma instancia de Area aquatica em movimento Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de River Objeto e' uma &parte de Objeto flows Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5498-5505	Objeto e' uma instancia de StreamWaterConfluence Objeto Objeto Objeto e' uma instancia de River Objeto e' uma instancia de Area aquatica em movimento flows Objeto and Objeto Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5489-5496	Objeto e' uma instancia de StreamWaterConfluence Objeto Objeto Objeto e' uma instancia de Area aquatica em movimento Objeto conecta Objeto e Objeto Objeto e' uma instancia de Area aquatica em movimento flows Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	Fisico e' uma instancia de Area aquatica em movimento Fisico Fisico e' uma instancia de BodyOfWater Fisico e' igual a Fisico flows Fisico and Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5195-5200	Fisico e' uma instancia de Estuary Fisico Fisico e' uma instancia de River flows Fisico and Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5693-5699	streamOutfall Area Aquatica and River Objeto Objeto e' uma instancia de Area Aquatica flows River and Objeto Area Aquatica e' conectado com Objeto

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