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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Working

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 20527-20528
(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 20526-20526

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


(subclass Farming Working) Mid-level-ontology.kif 20530-20530
(subclass Sales Working) Mid-level-ontology.kif 20551-20551
(subclass Serving Working) Mid-level-ontology.kif 20547-20547
(termFormat ChineseLanguage Working "工作的") domainEnglishFormat.kif 63467-63467
(termFormat ChineseTraditionalLanguage Working "工作的") domainEnglishFormat.kif 63466-63466
(termFormat EnglishLanguage Working "working") domainEnglishFormat.kif 63465-63465

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 20453-20463
(=>
    (and
        (workLocation ?O ?S)
        (member ?P ?O)
        (instance ?W Working)
        (agent ?W ?P))
    (modalAttribute
        (located ?W ?S) Likely))
Mid-level-ontology.kif 20562-20570

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