WeatherFront - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 814-816
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 812-812	天气前线是天气过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 824-824	冷锋是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 830-830	封闭的前方是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 836-836	固定的前方是天气前线的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 818-818	温暖的前线是天气前线的 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