LandTransitway - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3357-3358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14308-14309
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	陆地过境通道是土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14306-14306	陆地过境通道是公交专用道的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	飞机场是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1142-1142	BowlingLane 是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1618-1618	桥是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 345-345	铁路是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14321-14321	巷道是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25789-25789	RunningTrack 是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1298-1298	跑道是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1647-1647	线索是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1630-1630	隧道是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33289-33289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33288-33288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33287-33287

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14311-14319

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17783-17787