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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Working
Working
more pictures...

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 20500-20501
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ WomanFactory1940s.jpg") pictureList.kif 12176-12176
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Seattle_street_work_03.jpg") pictureList.kif 12174-12174
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ 2_SOPS_space_systems_operator_040205-F-0000C-001.jpg") pictureList.kif 12179-12179
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Asian_flight_attendants.jpg") pictureList.kif 12180-12180
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Woman-typing-on-laptop.jpg") pictureList.kif 12183-12183
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Tweedy_and_Popp_02.jpg") pictureList.kif 12175-12175
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ President_Reagan_alone_in_the_Oval_Office_1984.jpg") pictureList.kif 12182-12182
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ Tea_Factory_Srimongol_Sylhet_Bangladesh_6.JPG") pictureList.kif 12177-12177
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Palmercarpenter.jpg") pictureList.kif 10342-10342
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Cyclejakob.jpg") pictureList.kif 12178-12178
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 12181-12181
(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 63-63
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 62/ ShetlandShpdogBlue2_wb.jpg/ 302px-ShetlandShpdogBlue2_wb.jpg") pictureList-ImageNet.kif 62-62
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c7/ Shetland_sheepdog.jpg/ 800px-Shetland_sheepdog.jpg") pictureList-ImageNet.kif 64-64
(subclass Working FinancialTransaction) Mid-level-ontology.kif 20499-20499

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


(subclass Farming Working) Mid-level-ontology.kif 20503-20503
(subclass Sales Working) Mid-level-ontology.kif 20524-20524
(subclass Serving Working) Mid-level-ontology.kif 20520-20520
(termFormat ChineseLanguage Working "工作的") domainEnglishFormat.kif 63465-63465
(termFormat ChineseTraditionalLanguage Working "工作的") domainEnglishFormat.kif 63464-63464
(termFormat EnglishLanguage Working "working") domainEnglishFormat.kif 63463-63463

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


(=>
    (and
        (instance ?W WorkLeave)
        (instance ?WORK Working)
        (agent ?W ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?W)
            (WhenFn ?WORK))))
Mid-level-ontology.kif 20426-20436
(=>
    (and
        (workLocation ?O ?S)
        (member ?P ?O)
        (instance ?W Working)
        (agent ?W ?P))
    (modalAttribute
        (located ?W ?S) Likely))
Mid-level-ontology.kif 20535-20543

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


(=>
    (compensationPackage ?Agent ?Money ?Period)
    (exists (?Activity)
        (and
            (instance ?Activity Working)
            (agent ?Activity ?Agent)
            (equal ?Period
                (WhenFn ?Activity))
            (incomeEarned ?Agent ?Money ?Activity))))
FinancialOntology.kif 3373-3380
(=>
    (hasOccupation ?PERSON ?WORK)
    (exists (?INST)
        (and
            (instance ?INST ?WORK)
            (instance ?INST Working)
            (agent ?INST ?PERSON))))
Mid-level-ontology.kif 21369-21375
(=>
    (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 1655-1668


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