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 14286-14287
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14285-14285	陆地过境通道是土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14284-14284	陆地过境通道是公交专用道的 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 1141-1141	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 14299-14299	巷道是陆地过境通道的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25801-25801	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 14289-14297

consequent

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

Mid-level-ontology.kif 17784-17788