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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seat
Seat

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


(documentation Seat EnglishLanguage "Any instance of Furniture which is designed to accommodate Humans who are Sitting.") Mid-level-ontology.kif 3682-3683
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") pictureList.kif 4819-4819
(subclass Seat Furniture) Mid-level-ontology.kif 3681-3681

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


(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 7300-7300
(subclass Chair Seat) Mid-level-ontology.kif 3694-3694
(subclass Recliner Seat) Mid-level-ontology.kif 26101-26101
(subclass Sofa Seat) Mid-level-ontology.kif 3710-3710
(termFormat ChineseLanguage Seat "座位") domainEnglishFormat.kif 51721-51721
(termFormat ChineseTraditionalLanguage Seat "座位") domainEnglishFormat.kif 51720-51720
(termFormat EnglishLanguage Seat "seat") domainEnglishFormat.kif 51719-51719

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


(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 5017-5026
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 3685-3692

consequent
-------------------------


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 15381-15386
(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))
Mid-level-ontology.kif 23347-23354
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 26038-26045


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