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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Working
Working
more pictures...

VerbNet: masquerade-29.6|serve,


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


(documentation Working EnglishLanguage "Any FinancialTransaction where someone exchanges his/ her labor for an instance of CurrencyMeasure.") Mid-level-ontology.kif 18268-18269
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ WomanFactory1940s.jpg") pictureList.kif 12203-12203
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Seattle_street_work_03.jpg") pictureList.kif 12201-12201
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ 2_SOPS_space_systems_operator_040205-F-0000C-001.jpg") pictureList.kif 12206-12206
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Asian_flight_attendants.jpg") pictureList.kif 12207-12207
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Woman-typing-on-laptop.jpg") pictureList.kif 12210-12210
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Tweedy_and_Popp_02.jpg") pictureList.kif 12202-12202
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ President_Reagan_alone_in_the_Oval_Office_1984.jpg") pictureList.kif 12209-12209
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ Tea_Factory_Srimongol_Sylhet_Bangladesh_6.JPG") pictureList.kif 12204-12204
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Palmercarpenter.jpg") pictureList.kif 10363-10363
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Cyclejakob.jpg") pictureList.kif 12205-12205
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 12208-12208
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Shetland_Sheepdog_and_Rough_Collie.jpg/ 230px-Shetland_Sheepdog_and_Rough_Collie.jpg") pictureList-ImageNet.kif 64-64
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 62/ ShetlandShpdogBlue2_wb.jpg/ 302px-ShetlandShpdogBlue2_wb.jpg") pictureList-ImageNet.kif 63-63
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c7/ Shetland_sheepdog.jpg/ 800px-Shetland_sheepdog.jpg") pictureList-ImageNet.kif 65-65
(subclass Working FinancialTransaction) Mid-level-ontology.kif 18267-18267

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


(subclass Farming Working) Mid-level-ontology.kif 18271-18271
(subclass Sales Working) Mid-level-ontology.kif 18288-18288
(subclass Serving Working) Mid-level-ontology.kif 18284-18284
(termFormat ChineseLanguage Working "工作的") domainEnglishFormat.kif 63364-63364
(termFormat ChineseTraditionalLanguage Working "工作的") domainEnglishFormat.kif 63363-63363
(termFormat EnglishLanguage Working "working") domainEnglishFormat.kif 63362-63362

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


(=>
    (and
        (instance ?VACATION Vacationing)
        (instance ?WORK Working)
        (agent ?VACATION ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?VACATION)
            (WhenFn ?WORK))))
Mid-level-ontology.kif 18242-18249

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


(=>
    (compensationPackage ?Agent ?Money ?Period)
    (exists (?Activity)
        (and
            (instance ?Activity Working)
            (agent ?Activity ?Agent)
            (equal ?Period
                (WhenFn ?Activity))
            (incomeEarned ?Agent ?Money ?Activity))))
FinancialOntology.kif 3268-3275
(=>
    (hasOccupation ?PERSON ?WORK)
    (exists (?INST)
        (and
            (instance ?INST ?WORK)
            (instance ?INST Working)
            (agent ?INST ?PERSON))))
Mid-level-ontology.kif 19082-19088
(=>
    (instance ?X BusinessCenter)
    (hasPurpose ?X
        (exists (?PERSON ?WORK ?OBJ)
            (and
                (attribute ?PERSON BusinessPerson)
                (instance ?WORK Working)
                (instance ?OBJ Object)
                (located ?OBJ ?X)
                (agent ?WORK ?PERSON)
                (or
                    (instrument ?WORK ?OBJ)
                    (resource ?WORK ?OBJ)
                    (patient ?WORK ?OBJ))))))
Hotel.kif 1603-1616


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