TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Fence StationaryArtifact)	Mid-level-ontology.kif 17268-17268	Fence is a subclass of stationary artifact
(documentation Fence EnglishLanguage "A StationaryArtifact that serves to demarcate or to prevent access to or from the area that the Fence surrounds.")	Mid-level-ontology.kif 17269-17270	Fence is a subclass of stationary artifact
(externalImage Fence "http://articulatesoftware.com/SUMOpictures/tools/lawn_garden/ fence.png")	pictureList.kif 426-426	Fence is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Fence "fence")	domainEnglishFormat.kif 23498-23498
(termFormat ChineseTraditionalLanguage Fence "籬笆")	domainEnglishFormat.kif 23499-23499
(termFormat ChineseLanguage Fence "篱笆")	domainEnglishFormat.kif 23500-23500

consequent

(=>
    (instance ?G ResidentialGarden)
    (modalAttribute
        (exists (?F)
            (and
                (instance ?F Fence)
                (orientation ?G ?F Surrounded))) Likely))

If X is an instance of residential garden, then the statement there exists Y such that Y is an instance of fence and X is surrounded by to Y has the modal force of likely