more pictures...
| 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 22117-22118 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ WomanFactory1940s.jpg") | pictureList.kif 12165-12165 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Seattle_street_work_03.jpg") | pictureList.kif 12163-12163 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ 2_SOPS_space_systems_operator_040205-F-0000C-001.jpg") | pictureList.kif 12168-12168 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Asian_flight_attendants.jpg") | pictureList.kif 12169-12169 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Woman_typing_on_laptop.jpg") | pictureList.kif 12172-12172 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ Tweedy_and_Popp_02.jpg") | pictureList.kif 12164-12164 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ President_Reagan_alone_in_the_Oval_Office_1984.jpg") | pictureList.kif 12171-12171 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cb/ Tea_Factory_Srimongol_Sylhet_Bangladesh_6.JPG") | pictureList.kif 12166-12166 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Palmercarpenter.jpg") | pictureList.kif 10340-10340 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Cyclejakob.jpg") | pictureList.kif 12167-12167 | |
| (externalImage Working "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") | pictureList.kif 12170-12170 | |
| (subclass Working FinancialTransaction) | Mid-level-ontology.kif 22116-22116 |
| appearance as argument number 2 |
|
|
| (subclass Farming Working) | Mid-level-ontology.kif 22120-22120 | |
| (subclass Sales Working) | Mid-level-ontology.kif 22141-22141 | |
| (subclass Serving Working) | Mid-level-ontology.kif 22137-22137 | |
| (termFormat ChineseLanguage Working "工作的") | domainEnglishFormat.kif 63459-63459 | |
| (termFormat ChineseTraditionalLanguage Working "工作的") | domainEnglishFormat.kif 63458-63458 | |
| (termFormat EnglishLanguage Working "working") | domainEnglishFormat.kif 63457-63457 |
| 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 22043-22053 | |
| (=> (and (workLocation ?O ?S) (member ?P ?O) (instance ?W Working) (agent ?W ?P)) (modalAttribute (located ?W ?S) Likely)) |
Mid-level-ontology.kif 22152-22160 |
| consequent |
|
|
| (=> (attribute ?HUMAN (ProfessionalFn ?SOCIALROLE)) (exists (?WORK ?PROC) (and (instance ?WORK Working) (agent ?WORK ?HUMAN) (subProcess ?PROC ?WORK) (instance ?PROC ?CLASS) (subclass ?CLASS IntentionalProcess) (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN)))) |
Mid-level-ontology.kif 9452-9462 | |
| (=> (compensationPackage ?Agent ?Money ?Period) (exists (?Activity) (and (instance ?Activity Working) (agent ?Activity ?Agent) (equal ?Period (WhenFn ?Activity)) (incomeEarned ?Agent ?Money ?Activity)))) |
FinancialOntology.kif 3390-3397 | |
| (=> (hasOccupation ?PERSON ?WORK) (exists (?INST) (and (instance ?INST ?WORK) (instance ?INST Working) (agent ?INST ?PERSON)))) |
Mid-level-ontology.kif 22986-22992 | |
| (=> (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 1666-1679 |
|
|
|