TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1225-1226
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1222-1222	域領海, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1221-1221	例領海 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1223-1223	範圍領海 and 領海

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2467-2467
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2466-2466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2465-2465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57602-57602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57601-57601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57600-57600

antecedent

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

Geography.kif 1228-1232

consequent

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

Geography.kif 1228-1232