Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lanai
Lanai

appearance as argument number 1
-------------------------


(documentation Lanai EnglishLanguage "Lanai refers to a roofed outdoor area %&Adjacent to a Building often furnished and used as a living room") Mid-level-ontology.kif 26652-26653
(subclass Lanai Patio) Mid-level-ontology.kif 26650-26650 Lanai est une sous-classe de Patio
(subclass Lanai StationaryArtifact) Mid-level-ontology.kif 26651-26651 Lanai est une sous-classe de artefact stationnaire

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Lanai "lanai") domainEnglishFormat.kif 65093-65093

antecedent
-------------------------


(=>
    (instance ?X Lanai)
    (exists (?ROOF)
        (and
            (instance ?ROOF Roof)
            (part ?ROOF ?X)
            (modalAttribute
                (exists (?AREA)
                    (and
                        (instance ?AREA SittingArea)
                        (located ?AREA ?X))) Likely))))
Mid-level-ontology.kif 26655-26665


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners