Lawn - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Lawn Field)	Mid-level-ontology.kif 10371-10371	Lawn is a subclass of field
(documentation Lawn EnglishLanguage "A Field of cultivated and mowed Grass.")	Mid-level-ontology.kif 10372-10372	Lawn is a subclass of field
(externalImage Lawn "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Haga_lawn.jpg")	pictureList.kif 4762-4762	Lawn is a subclass of field

appearance as argument number 2

(termFormat EnglishLanguage Lawn "lawn")	domainEnglishFormat.kif 33553-33553
(termFormat ChineseTraditionalLanguage Lawn "草坪")	domainEnglishFormat.kif 33554-33554
(termFormat ChineseLanguage Lawn "草坪")	domainEnglishFormat.kif 33555-33555

antecedent

(=>
    (instance ?L Lawn)
    (exists (?G)
        (and
            (instance ?G Grass)
            (located ?G ?L))))

If X is an instance of lawn, then there exists Y such that Y is an instance of grass plant and Y is located at X