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 |