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	子類陸地過境通道 and LandArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14284-14284	子類陸地過境通道 and 公交專用道

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	子類飛機場 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1141-1141	子類 BowlingLane and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1618-1618	子類橋 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 345-345	子類鐵路 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14299-14299	子類巷道 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25801-25801	子類 RunningTrack and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1298-1298	子類跑道 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1647-1647	子類線索 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1630-1630	子類隧道 and 陸地過境通道
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