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 过境和地面客运 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8431-8431 契约公交行业 是 过境和地面客运 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8400-8400 城市间和农村公共汽车运输 是 过境和地面客运 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8437-8437 其他过境和地面客运 是 过境和地面客运 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8425-8425 学校和员工公交车运输 是 过境和地面客运 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8406-8406 出租车和豪华轿车服务 是 过境和地面客运 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8366-8366 城市交通系统 是 过境和地面客运 的 subAttribute
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