Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Sofa

 Sigma KEE - Sofa
Sofa(sofa)
chesterfield, couch, divan, lounge, love_seat, loveseat, settee, sofa, squab, tete-a-tete, vis-a-vis

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


(subclass Sofa Seat) Mid-level-ontology.kif 4396-4396 Sofa is a subclass of seat
(documentation Sofa EnglishLanguage "A padded Seat that is designed to accommodate more than one Human.") Mid-level-ontology.kif 4397-4398 Sofa is a subclass of seat
(externalImage Sofa "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Red_sofa.jpg") pictureList.kif 10262-10262 Sofa is a subclass of seat
(externalImage Sofa "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Forngrekisk_vilsoffa_%28ur_Nordisk_familjebok%29.png") pictureList.kif 11870-11870 Sofa is a subclass of seat
(externalImage Sofa "http://upload.wikimedia.org/wikipedia/commons/2/29/ Ltmd_sofa.jpg") pictureList.kif 11871-11871 Sofa is a subclass of seat
(externalImage Sofa "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Stone_Sofa_Coventry_Canal.jpg") pictureList.kif 11872-11872 Sofa is a subclass of seat

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


(termFormat EnglishLanguage Sofa "sofa") domainEnglishFormat.kif 53685-53685
(termFormat ChineseTraditionalLanguage Sofa "沙發") domainEnglishFormat.kif 53686-53686
(termFormat ChineseLanguage Sofa "沙发") domainEnglishFormat.kif 53687-53687

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


(=>
    (instance ?S Sofa)
    (hasPurpose ?S
        (exists (?P1 ?P2 ?T)
            (and
                (not
                    (equal ?P1 ?P2))
                (instance ?P1 Human)
                (instance ?P2 Human)
                (holdsDuring ?T
                    (and
                        (attribute ?P1 Sitting)
                        (attribute ?P2 Sitting)
                        (eventLocated ?P1 ?S)
                        (eventLocated ?P2 ?S)))))))		 Mid-level-ontology.kif 4400-4413 If X is an instance of sofa, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) sitting is an attribute of Y (7) sitting is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W

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


(=>
    (instance ?X SofaBed)
    (exists (?SOFA ?STORAGE)
        (and
            (instance ?STORAGE Compartment)
            (part ?STORAGE ?SOFA)
            (instance ?SOFA Sofa)
            (hasPurpose ?STORAGE
                (exists (?K)
                    (and
                        (instance ?K Keeping)
                        (patient ?K ?X)
                        (destination ?K ?STORAGE)))))))		 Mid-level-ontology.kif 4572-4584 If X is an instance of sofa bed, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of compartment (3) Z is a part of Y (4) Y is an instance of sofa (5) Z has the purpose there exists W such that W is an instance of keeping (6) X is a patient of W (7) W ends up at Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners