WeatherFront - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 810-812
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3036-3036
No TPTP formula. May not be expressible in strict first order.	Weather.kif 808-808	天气前线是天气过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 820-820	冷锋是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 826-826	封闭的前方是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 832-832	固定的前方是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 814-814	温暖的前线是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62607-62607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62606-62606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62605-62605