Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Maintaining(maintaining) |  | TLC, accompaniment, adjust, aftercare, aid, air_cover, apiarian, apicultural, aquacultural, aquicultural, attention, bear_on, brush, brushing, calibrate, camera_care, car_care, care, carry_on, charge, child_care, childcare, conservancy, conservation, conserved, continue, convoy, correct, covering, criminal_maintenance, cultural, culture, day_care, daycare, defence, defense, dental_care, embalm, embalmment, environmentalism, escort, facial, fine-tune, floricultural, floriculture, flower_gardening, focalise, focalize, focus, graduate... |
| appearance as argument number 1 |
|
|
| (subclass Maintaining IntentionalProcess) | Merge.kif 12505-12505 | Maintaining is a subclass of intentional process |
| (documentation Maintaining EnglishLanguage "The Class of Processes where the agent cares for or maintains the Object.") | Merge.kif 12506-12507 | Maintaining is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?UNIT SecurityUnit) (subOrganization ?UNIT ?ORG)) (holdsObligation ?UNIT (exists (?MAINTAIN) (and (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?UNIT) (patient ?MAINTAIN ?ORG))))) |
Mid-level-ontology.kif 9886-9895 | If X is an instance of security unit and X is a part of the organization Y, then X is obliged to perform tasks of type there exists Z such that Z is an instance of maintaining, X is an agent of Z, and Y is a patient of Z |
| (=> (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 244-270 | If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q |
| (=> (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 1776-1787 | If X is an instance of armor and X is a part of Y or X meets Y, then X has the purpose there exists Z such that Z is an instance of maintaining, X is an instrument for Z, and Y experiences Z |
| (=> (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 1966-1978 | If X is an instance of foreign internal defense, Y is an agent of X, and Z is a military of area of Y, then All of the following hold: (1) there exist W (2) V such that W experiences X (3) W is an instance of host nation (4) equal W (5) Z (6) V is an instance of maintaining (7) W is an agent of V |
| (=> (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 2648-2662 | If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W is an instance of maintaining (3) W is located at Y (4) W is a subprocess of X (5) V is a part of the organization Z, V is a member of Z, or equal V (6) Z (7) V is an agent of W |
| (=> (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 44-66 | If X is an instance of organization and agriculture forestry fishing and hunting is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Z is an agent of Y (4) there exist W, V (5) U such that Y is an instance of killing or Y is an instance of maintaining (6) W is a patient of Y (7) W is an instance of animal or W is an instance of plant (8) W is not an instance of human (9) U is a member of X (10) V is an instance of selling (11) U is an agent of V (12) W is a patient of V |
|