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	Weather front is a subclass of weather process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 824-824	Cold front is a subclass of weather front
No TPTP formula. May not be expressible in strict first order.	Weather.kif 830-830	Occluded front is a subclass of weather front
No TPTP formula. May not be expressible in strict first order.	Weather.kif 836-836	Stationary front is a subclass of weather front
No TPTP formula. May not be expressible in strict first order.	Weather.kif 818-818	Warm front is a subclass of weather front
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