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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransportationFn

 Sigma KEE - TransportationFn
TransportationFn

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1568-1570
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1566-1566 O argumento numero 1 de TransportationFn e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1565-1565 TransportationFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1567-1567 Os valores retornados por TransportationFn sao as sub-classes de Transporte

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2551-2551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2550-2550
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2549-2549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59018-59018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59017-59017
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59016-59016

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1572-1580
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2287-2292


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