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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BedLinen

Sigma KEE - BedLinen
BedLinen

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


(documentation BedLinen EnglishLanguage "BedLinen is an Artifact made of Fabric that is used to Covering a Bed") Mid-level-ontology.kif 4593-4594
(subclass BedLinen Artifact) Mid-level-ontology.kif 4592-4592

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


(termFormat EnglishLanguage BedLinen "bed linen") Mid-level-ontology.kif 4595-4595

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


(=>
    (instance ?X BedLinen)
    (hasPurpose ?X
        (exists (?COVER ?BED)
            (and
                (instance ?COVER Covering)
                (patient ?COVER ?BED)
                (instance ?BED Bed)
                (instrument ?COVER ?X)))))
Mid-level-ontology.kif 4601-4609
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4597-4599

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


(=>
    (instance ?X TurndownService)
    (exists (?FOLD ?BED ?SHEET)
        (and
            (instance ?FOLD Folding)
            (instance ?SHEET BedLinen)
            (instance ?BED Bed)
            (located ?SHEET ?BED)
            (patient ?FOLD ?SHEET)
            (subProcess ?FOLD ?X))))
Hotel.kif 1897-1906


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners