| 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 12370-12371 | |
| (subclass Maintaining IntentionalProcess) | Merge.kif 12369-12369 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Repairing Maintaining) | Merge.kif 12374-12374 | |
| (subclass Agriculture Maintaining) | Mid-level-ontology.kif 22455-22455 | |
| (subclass ChildCareService Maintaining) | Hotel.kif 1876-1876 | |
| (subclass Cleaning Maintaining) | Mid-level-ontology.kif 6488-6488 | |
| (subclass Protecting Maintaining) | Mid-level-ontology.kif 19988-19988 | |
| (termFormat ChineseLanguage Maintaining "维护") | chinese_format.kif 1156-1156 | |
| (termFormat EnglishLanguage Maintaining "maintaining") | english_format.kif 1529-1529 | |
| (termFormat FrenchLanguage Maintaining "maintenir") | french_format.kif 834-834 | |
| (termFormat Hindi Maintaining "anurakshana") | terms-hindi.txt 366-366 | |
| (termFormat ItalianLanguage Maintaining "Mantenere") | terms-it.txt 369-369 | |
| (termFormat JapaneseLanguage Maintaining "維持") | japanese_format.kif 2518-2518 | |
| (termFormat PortugueseLanguage Maintaining "Preservar") | portuguese_format.kif 786-786 | |
| (termFormat cb Maintaining "pagbaton") | terms-cb.txt 371-371 | |
| (termFormat cz Maintaining "maintaining") | terms-cz.txt 405-405 | |
| (termFormat de Maintaining "Beibehalten") | terms-de.txt 664-664 | |
| (termFormat ro Maintaining "menþinere") | relations-ro.kif 855-855 | |
| (termFormat tg Maintaining "pagmamanatili") | terms-tg.txt 370-370 |
| consequent |
|
|
| (=> (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 2607-2621 | |
| (=> (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 1943-1955 | |
| (=> (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 9732-9742 | |
| (=> (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 |
|
|
|