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 18241-18242
(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 18240-18240

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


(subclass Farming Working) Mid-level-ontology.kif 18244-18244
(subclass Sales Working) Mid-level-ontology.kif 18261-18261
(subclass Serving Working) Mid-level-ontology.kif 18257-18257
(termFormat ChineseLanguage Working "工作的") domainEnglishFormat.kif 63385-63385
(termFormat ChineseTraditionalLanguage Working "工作的") domainEnglishFormat.kif 63384-63384
(termFormat EnglishLanguage Working "working") domainEnglishFormat.kif 63383-63383

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 18215-18222

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 19055-19061
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners