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

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


(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 8501-8501 AuditoriumSeat est une sous-classe de Seat
(subclass Chair Seat) Mid-level-ontology.kif 4172-4172 Chair est une sous-classe de Seat
(subclass Recliner Seat) Mid-level-ontology.kif 28090-28090 Recliner est une sous-classe de Seat
(subclass Sofa Seat) Mid-level-ontology.kif 4193-4193 Sofa est une sous-classe de Seat
(termFormat ChineseLanguage Seat "座位") domainEnglishFormat.kif 51739-51739 Sofa est une sous-classe de Seat
(termFormat ChineseTraditionalLanguage Seat "座位") domainEnglishFormat.kif 51738-51738 Sofa est une sous-classe de Seat
(termFormat EnglishLanguage Seat "seat") domainEnglishFormat.kif 51737-51737 Sofa est une sous-classe de Seat

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


(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 5078-5087
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 4163-4170

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


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 16907-16912
(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))
Mid-level-ontology.kif 25038-25045
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 28027-28034


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