TreeView 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	子類陸地過境通道 and LandArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14306-14306	子類陸地過境通道 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 1142-1142	子類 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 14321-14321	子類巷道 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25789-25789	子類 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 14311-14319

consequent

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

Mid-level-ontology.kif 17783-17787