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 20758-20759
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ WomanFactory1940s.jpg") pictureList.kif 12171-12171
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Seattle_street_work_03.jpg") pictureList.kif 12169-12169
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ 2_SOPS_space_systems_operator_040205-F-0000C-001.jpg") pictureList.kif 12174-12174
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Asian_flight_attendants.jpg") pictureList.kif 12175-12175
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Woman-typing-on-laptop.jpg") pictureList.kif 12178-12178
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Tweedy_and_Popp_02.jpg") pictureList.kif 12170-12170
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ President_Reagan_alone_in_the_Oval_Office_1984.jpg") pictureList.kif 12177-12177
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ Tea_Factory_Srimongol_Sylhet_Bangladesh_6.JPG") pictureList.kif 12172-12172
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Palmercarpenter.jpg") pictureList.kif 10341-10341
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Cyclejakob.jpg") pictureList.kif 12173-12173
(externalImage Working "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 12176-12176
(subclass Working FinancialTransaction) Mid-level-ontology.kif 20757-20757

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


(subclass Farming Working) Mid-level-ontology.kif 20761-20761
(subclass Sales Working) Mid-level-ontology.kif 20782-20782
(subclass Serving Working) Mid-level-ontology.kif 20778-20778
(termFormat ChineseLanguage Working "工作的") domainEnglishFormat.kif 63490-63490
(termFormat ChineseTraditionalLanguage Working "工作的") domainEnglishFormat.kif 63489-63489
(termFormat EnglishLanguage Working "working") domainEnglishFormat.kif 63488-63488

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 20684-20694
(=>
    (and
        (workLocation ?O ?S)
        (member ?P ?O)
        (instance ?W Working)
        (agent ?W ?P))
    (modalAttribute
        (located ?W ?S) Likely))
Mid-level-ontology.kif 20793-20801

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 21627-21633
(=>
    (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