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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitAndGroundPassengerTransportation

 Sigma KEE - TransitAndGroundPassengerTransportation
TransitAndGroundPassengerTransportation(過境和地面客運)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8340-8342
No TPTP formula. May not be expressible in strict first order. naics.kif 8338-8338 例 過境和地面客運 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8431-8431 子屬性 契約公交行業 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. naics.kif 8400-8400 子屬性 城市間和農村公共汽車運輸 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. naics.kif 8437-8437 子屬性 其他過境和地面客運 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. naics.kif 8425-8425 子屬性 學校和員工公交車運輸 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. naics.kif 8406-8406 子屬性 出租車和豪華轎車服務 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. naics.kif 8366-8366 子屬性 城市交通系統 and 過境和地面客運
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58850-58850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58849-58849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58848-58848

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8344-8364


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