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 Le nombre 1 argument de TransportationFn est une sous-classe de v�hicule de transport
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1565-1565 TransportationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1567-1567 Les valeurs retourn�es par TransportationFn sont des sous-classes de transporter

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