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

Formal Language: 



KB Term:  Term intersection
English Word: 

  flows

 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
No TPTP formula. May not be expressible in strict first order. Geography.kif 5442-5444
No TPTP formula. May not be expressible in strict first order. Geography.kif 5446-5448

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5533-5542
No TPTP formula. May not be expressible in strict first order. Geography.kif 5498-5505
No TPTP formula. May not be expressible in strict first order. Geography.kif 5489-5496
No TPTP formula. May not be expressible in strict first order. Geography.kif 5415-5421
No TPTP formula. May not be expressible in strict first order. Geography.kif 5195-5200
No TPTP formula. May not be expressible in strict first order. Geography.kif 5693-5699


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