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 3710-3711
(externalImage Seat "http://upload.wikimedia.org/wikipedia/en/0/0a/SalisChair.jpg") pictureList.kif 4818-4818
(subclass Seat Furniture) Mid-level-ontology.kif 3709-3709 Seat ist eine teilkategorie von Furniture

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


(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 7367-7367 AuditoriumSeat ist eine teilkategorie von Seat
(subclass Chair Seat) Mid-level-ontology.kif 3722-3722 Chair ist eine teilkategorie von Seat
(subclass Recliner Seat) Mid-level-ontology.kif 26225-26225 Recliner ist eine teilkategorie von Seat
(subclass Sofa Seat) Mid-level-ontology.kif 3743-3743 Sofa ist eine teilkategorie von Seat
(termFormat ChineseLanguage Seat "座位") domainEnglishFormat.kif 51737-51737
(termFormat ChineseTraditionalLanguage Seat "座位") domainEnglishFormat.kif 51736-51736
(termFormat EnglishLanguage Seat "seat") domainEnglishFormat.kif 51735-51735

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


(=>
    (instance ?S Seat)
    (hasPurpose ?S
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)))))))
Cars.kif 5002-5011
(=>
    (instance ?SEAT Seat)
    (hasPurpose ?SEAT
        (exists (?PERSON)
            (and
                (instance ?PERSON Human)
                (located ?PERSON ?SEAT)
                (attribute ?PERSON Sitting)))))
Mid-level-ontology.kif 3713-3720

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


(=>
    (instance ?AREA SittingArea)
    (exists (?SEAT)
        (and
            (instance ?SEAT Seat)
            (located ?SEAT ?AREA))))
Mid-level-ontology.kif 15561-15566
(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))
Mid-level-ontology.kif 23449-23456
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 26162-26169


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