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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transitway
Transitway(公交专用道)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3355-3356
No TPTP formula. May not be expressible in strict first order. Merge.kif 14267-14270
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12042-12042
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10304-10304
No TPTP formula. May not be expressible in strict first order. Merge.kif 14265-14265 公交专用道地区subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14266-14266 公交专用道自身连接物体subclass

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1247-1247 空中运输通道公交专用道subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11717-11717 空中航线公交专用道subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14284-14284 陆地过境通道公交专用道subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 773-773 管道公交专用道subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2962-2962 临时路口公交专用道subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5576-5576 水路公交专用道subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58904-58904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58903-58903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58902-58902

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1603-1603 过境 的 1 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24363-24363 distanceOnPath 的 2 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2723-2723 系统中的路径 的 1 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2903-2903 之间的路线 的 1 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2743-2743 系统路线 的 1 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3035-3035 过境通行能力计数 的 1 数量 是 公交专用道instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3045-3045 过境通行能力 的 1 数量 是 公交专用道instance

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1609-1613
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2846-2856
No TPTP formula. May not be expressible in strict first order. Merge.kif 14276-14282

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2880-2884
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2832-2837
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2783-2797
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2760-2774


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