WaterCurrent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4941-4941	不相交的水流 and StaticWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4934-4939
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3281-3281
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3034-3034
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4931-4931	子類水流 and 流動區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4932-4932	子類水流 and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5039-5039	子類沿岸流動 and 水流
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62385-62385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62384-62384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62383-62383