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 3717-3718
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") pictureList.kif 4818-4818
(subclass Seat Furniture) Mid-level-ontology.kif 3716-3716 Seat est une sous-classe de Furniture

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


(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 7340-7340 AuditoriumSeat est une sous-classe de Seat
(subclass Chair Seat) Mid-level-ontology.kif 3729-3729 Chair est une sous-classe de Seat
(subclass Recliner Seat) Mid-level-ontology.kif 26192-26192 Recliner est une sous-classe de Seat
(subclass Sofa Seat) Mid-level-ontology.kif 3750-3750 Sofa est une sous-classe de Seat
(termFormat ChineseLanguage Seat "座位") domainEnglishFormat.kif 51735-51735
(termFormat ChineseTraditionalLanguage Seat "座位") domainEnglishFormat.kif 51734-51734
(termFormat EnglishLanguage Seat "seat") domainEnglishFormat.kif 51733-51733

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 3720-3727

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


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 15534-15539
(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))
Mid-level-ontology.kif 23397-23404
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 26129-26136


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