| Maintaining | |
| appearance as argument number 1 |
|
|
| (documentation Maintaining ChineseLanguage "这是当 agent 照顾或维护 Object 的 Process Class。") | chinese_format.kif 3145-3146 | |
| (documentation Maintaining EnglishLanguage "The Class of Processes where the agent cares for or maintains the Object.") | Merge.kif 11373-11374 | |
| (subclass Maintaining IntentionalProcess) | Merge.kif 11372-11372 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 11377-11377 | |
| (subclass Agriculture Maintaining) | Mid-level-ontology.kif 18523-18523 | |
| (subclass ChildCareService Maintaining) | Hotel.kif 1813-1813 | |
| (subclass Cleaning Maintaining) | Mid-level-ontology.kif 5798-5798 | |
| (subclass Protecting Maintaining) | Mid-level-ontology.kif 16111-16111 | |
| (termFormat ChineseLanguage Maintaining "维护") | chinese_format.kif 1156-1156 | |
| (termFormat EnglishLanguage Maintaining "maintaining") | english_format.kif 1534-1534 |
| consequent |
|
|
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ))))) |
MilitaryDevices.kif 1619-1630 | |
| (=> (and (instance ?EV Evacuation) (origin ?EV ?O) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M Maintaining) (eventLocated ?M ?O) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA)))) |
MilitaryProcesses.kif 2553-2567 | |
| (=> (and (instance ?FID ForeignInternalDefense) (agent ?FID ?MIL) (militaryOfArea ?MIL ?NATION)) (exists (?HN ?MAINTAIN) (and (experiencer ?FID ?HN) (instance ?HN HostNation) (not (equal ?HN ?NATION)) (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?HN)))) |
MilitaryProcesses.kif 1924-1936 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 50-72 | |
| (=> (and (instance ?UNIT SecurityUnit) (subOrganization ?UNIT ?ORG)) (holdsObligation (exists (?MAINTAIN) (and (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?UNIT) (patient ?MAINTAIN ?ORG))) ?UNIT)) |
Mid-level-ontology.kif 8233-8243 | |
| (=> (instance ?X BabyMonitoringSystem) (exists (?TX ?RX) (and (instance ?RX RadioReceiver) (instance ?TX Device) (engineeringSubcomponent ?RX ?X) (engineeringSubcomponent ?TX ?X) (hasPurpose ?X (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO) (and (instance ?BABY HumanBaby) (instance ?CARER Human) (located ?BABY ?LOC1) (located ?CARER ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?PROC Maintaining) (patient ?PROC ?BABY) (agent ?PROC ?CARER) (located ?TX ?LOC1) (located ?RX ?LOC2) (instance ?SOUND RadiatingSound) (eventLocated ?SOUND ?LOC1) (instance ?RADIO RadioEmission) (patient ?RADIO ?SOUND) (destination ?RADIO ?RX) (agent ?RADIO ?TX))))))) |
Communications.kif 258-284 |
|
|
|