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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RollingStock
RollingStock(波蕩股)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2097-2098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4940-4940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5076-5076
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2140-2140 劃分 波蕩股, 客運鐵路車 and 貨車
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2095-2095 子類 波蕩股 and 鐵路車輛

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2096-2096 不相交的 公路車輛 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2150-2150 子類 出租車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2165-2165 子類 電氣化鐵路車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2139-2139 子類 貨車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2185-2185 子類 頭端車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2115-2115 子類 機車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2194-2194 子類 機車煤車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2110-2110 子類 機動鐵路車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2156-2156 子類 裝備車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2122-2122 子類 客運鐵路車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2215-2215 子類 私人鐵路車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2074-2074 子類 軌道車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2223-2223 子類 規模試驗車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2208-2208 子類 電車 and 波蕩股
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50300-50300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50299-50299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50298-50298

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2100-2108

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2355-2357
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2100-2108
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2054-2063


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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