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 数量 是 运输设备 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1565-1565 运输 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1567-1567 运输 的所得值 是 运输 的 subclass

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