TreeView Knowledge Base Browser - TransitwayObstacle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15251-15253
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15250-15250	过境障碍是客体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3071-3071	运河闸门是过境障碍的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3065-3065	坝是过境障碍的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15255-15255	门是过境障碍的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58928-58928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58927-58927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58926-58926