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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seat
Seat(seat)
bench, bicycle_seat, box, box_seat, hassock, ottoman, pouf, pouffe, puff, saddle, saddle_seat, seat, toilet_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 3652-3653
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") pictureList.kif 4819-4819
(subclass Seat Furniture) Mid-level-ontology.kif 3651-3651 Seat is a subclass of furniture

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


(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 6976-6976 Auditorium seat is a subclass of seat
(subclass Chair Seat) Mid-level-ontology.kif 3664-3664 Chair is a subclass of seat
(subclass Recliner Seat) Mid-level-ontology.kif 25229-25229 Recliner is a subclass of seat
(subclass Sofa Seat) Mid-level-ontology.kif 3680-3680 Sofa is a subclass of seat
(termFormat ChineseLanguage Seat "座位") domainEnglishFormat.kif 51718-51718
(termFormat ChineseTraditionalLanguage Seat "座位") domainEnglishFormat.kif 51717-51717
(termFormat EnglishLanguage Seat "seat") domainEnglishFormat.kif 51716-51716

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


(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 5020-5029
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 3655-3662

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


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 14698-14703
(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))
Mid-level-ontology.kif 22487-22494
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 25166-25173


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