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 域子類 運輸, 1 and TransportationDevice
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1565-1565 運輸 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1567-1567 範圍子類 運輸 and Transportation

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

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