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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TeaBud
  AgentPoweredVehicle

Sigma KEE - AgentPoweredVehicle
AgentPoweredVehicle(代理動力車輛)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1812-1813
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1020-1020
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1811-1811 子類 代理動力車輛 and 車輛

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1823-1823 不相交的 預告片 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2522-2522 子類 獨木舟 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1924-1924 子類 週期 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2525-2525 子類 皮艇 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1945-1945 子類 摩托車 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5832-5832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5831-5831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5830-5830


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