TreeView Knowledge Base Browser

appearance as argument number 1

(instance Uphill PositionalAttribute)	Geography.kif 3148-3148	Uphill from is an instance of positional attribute
(documentation Uphill EnglishLanguage "Uphill is a PositionalAttribute that describes the relation between two things, one of which is located up a slope from the other.")	Geography.kif 3150-3152	Uphill from is an instance of positional attribute
(contraryAttribute Uphill Downhill)	Geography.kif 3155-3155	Uphill from is the opposite of downhill from
(externalImage Uphill "http://upload.wikimedia.org/wikipedia/commons/8/83/ Uphill_to_Parc_G%C3%BCell.jpg")	pictureList.kif 6950-6950	Uphill from is the opposite of downhill from

appearance as argument number 2

(termFormat EnglishLanguage Uphill "uphill from")	domainEnglishFormat.kif 60593-60593
(termFormat ChineseTraditionalLanguage Uphill "上坡")	domainEnglishFormat.kif 60594-60594
(termFormat ChineseLanguage Uphill "上坡")	domainEnglishFormat.kif 60595-60595

consequent

(=>
    (and
        (instance ?W AnabaticWind)
        (path ?W ?P)
        (origin ?W ?L)
        (destination ?W ?H)
        (beforeOnPath ?L ?H ?P ?W))
    (orientation ?H ?L Uphill))

If X is an instance of anabatic wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is uphill from to Z