TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 949-952
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 946-946	域港口設施, 1 and 港口城市
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 945-945	例港口設施 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 947-947	範圍港口設施 and 港口設施

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1999-1999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1998-1998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1997-1997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46736-46736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46735-46735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46734-46734