TreeView Knowledge Base Browser

appearance as argument number 1

s__disjointRelation(s__resource__m,s__instrument__m)	Merge.kif 2455-2455	resource and instrument are disjoint
s__disjointRelation(s__resource__m,s__result__m)	Merge.kif 2454-2454	resource and result are disjoint
s__documentation(s__resource__m,s__ChineseLanguage,'"(resource ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它受到 ?PROCESS 的改变。例如：在以下这枪是用肥皂雕刻出来的这命题，肥皂是个 resource。注： resource 和 patient 的另外一个自关系 instrument 不同的地方在于，资源的内在或物理特性在某方面收到了 Process 的改变。"')	chinese_format.kif 1887-1891
s__documentation(s__resource__m,s__EnglishLanguage,'"(resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS. For example, soap is a resource in the following proposition: the gun was carved out of soap. Note that resource differs from instrument, another subrelation of patient, in that its internal or physical properties are altered in some way by the Process."')	Merge.kif 2458-2464
s__domain(s__resource__m,n__1,s__Process)	Merge.kif 2452-2452	The number 1 argument of resource is an instance of process
s__domain(s__resource__m,n__2,s__Object)	Merge.kif 2453-2453	The number 2 argument of resource is an instance of object
s__instance(s__resource__m,s__CaseRole) s__instance(s__CaseRole,s__SetOrClass)	Merge.kif 2450-2450	resource is an instance of case role
s__instance(s__resource__m,s__PartialValuedRelation) s__instance(s__PartialValuedRelation,s__SetOrClass)	Merge.kif 2451-2451	resource is an instance of partial valued relation
s__subrelation(s__resource__m,s__patient__m)	Merge.kif 2449-2449	resource is a subrelation of patient

appearance as argument number 2

s__format(s__ChineseLanguage,s__resource__m,'"%2 %n 是 %1 的 resource"')	chinese_format.kif 181-181
s__format(s__EnglishLanguage,s__resource__m,'"%2 is %n a resource for %1"')	english_format.kif 185-185
s__subrelation(s__reactant__m,s__resource__m)	Mid-level-ontology.kif 8377-8377	reactant is a subrelation of resource
s__termFormat(s__ChineseLanguage,s__resource__m,'"资源"')	chinese_format.kif 182-182
s__termFormat(s__ChineseTraditionalLanguage,s__resource__m,'"資源"')	domainEnglishFormat.kif 49706-49706
s__termFormat(s__EnglishLanguage,s__resource__m,'"resource"')	domainEnglishFormat.kif 49705-49705

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11877-11884	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__AMT,s__CurrencyMeasure) & s__instance(V__CUST,s__CognitiveAgent) & s__subclass(V__ITEM,s__Object) & s__instance(V__ITEM,s__Class) & s__instance(V__X,s__Object)) => (((s__customer(V__CUST,V__AGENT) & s__corkageFee(V__AMT,V__ITEM,V__AGENT) & s__instance(V__X,V__ITEM) & ~(( ? [V__B] : ((s__instance(V__B,s__Buying) & s__patient(V__B,V__X) & s__destination(V__B,V__CUST) & s__origin(V__B,V__AGENT))))) & s__instance(V__D,s__Drinking) & s__agent(V__D,V__CUST) & s__resource(V__D,V__X)) => (( ? [V__C] : ((s__instance(V__C,s__Corkage) & s__agent(V__C,V__CUST) & s__refers(V__C,V__X) & s__destination(V__C,V__AGENT)))))))) ) )	Dining.kif 130-150	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the cognitive agent
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] : (((s__instance(V__O,s__Object) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__Class) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__OBJ,s__Class) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (((s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => (s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL))))) ) )	Hotel.kif 334-349	If use of a class is free for a kind of hotel unit and the class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29709-29730	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
( ! [V__FOOD,V__ACT] : ((s__instance(V__FOOD,s__Object) => (((s__instance(V__ACT,s__Drinking) & s__resource(V__ACT,V__FOOD)) => (s__attribute(V__FOOD,s__Liquid))))) ) )	Merge.kif 9877-9881	If a process is an instance of drinking and an object is a resource for the process, then liquid is an attribute of the object
( ! [V__FOOD,V__ACT] : ((s__instance(V__FOOD,s__Object) => (((s__instance(V__ACT,s__Eating) & s__resource(V__ACT,V__FOOD)) => (s__attribute(V__FOOD,s__Solid))))) ) )	Merge.kif 9866-9870	If a process is an instance of eating and an object is a resource for the process, then solid is an attribute of the object
( ! [V__F,V__ACT] : ((s__instance(V__F,s__Object) => (((s__instance(V__ACT,s__Ingesting) & s__resource(V__ACT,V__F)) => ((s__instance(V__F,s__FoodForFn(s__Organism)) \| s__instance(V__F,s__Medicine)))))) ) )	Merge.kif 9853-9859	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object is an instance of medicine
( ! [V__R,V__F,V__BP,V__BR] : (((s__instance(V__BP,s__BrakePad) & s__instance(V__BR,s__BrakeRotor) & s__instance(V__R,s__Rotating) & s__patient(V__R,V__BR) & s__instance(V__F,s__Friction) & s__resource(V__F,V__BP) & s__patient(V__F,V__BR)) => (~(s__patient(V__R,V__BP)))) ) )	Cars.kif 617-627	If an object is an instance of BrakePad and an entity is an instance of BrakeRotor and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
( ! [V__BS,V__BD,V__R,V__F] : (((s__instance(V__BS,s__BrakeShoe) & s__instance(V__BD,s__BrakeDrum) & s__instance(V__R,s__Rotating) & s__patient(V__R,V__BD) & s__instance(V__F,s__Friction) & s__resource(V__F,V__BS) & s__patient(V__F,V__BD)) => (~(s__patient(V__R,V__BS)))) ) )	Cars.kif 639-649	If an object is an instance of brake shoe and an entity is an instance of BrakeDrum and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
( ! [V__CHEW,V__FOOD] : ((s__instance(V__FOOD,s__Object) => (((s__instance(V__CHEW,s__Chewing) & s__resource(V__CHEW,V__FOOD)) => (s__instance(V__FOOD,s__FoodForFn(s__Organism)))))) ) )	Mid-level-ontology.kif 10770-10774	If a process is an instance of chewing and an object is a resource for the process, then the object is an instance of food for organism
( ! [V__COPY,V__THING1,V__THING2] : (((s__instance(V__THING1,s__Object) & s__instance(V__THING2,s__Object)) => (((s__instance(V__COPY,s__Copying) & s__resource(V__COPY,V__THING1) & s__result(V__COPY,V__THING2)) => (s__copy(V__THING1,V__THING2))))) ) )	Mid-level-ontology.kif 19419-19424	If a process is an instance of copying and an object is a resource for the process and another object is a result of the process, then the object is a copy of the other object
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of ElectronicDataStorageDevice, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
( ! [V__P,V__N1,V__IC,V__E1,V__E2] : (((s__instance(V__N1,s__RealNumber) & s__instance(V__N1,s__UnitOfMeasure)) => (((s__instance(V__IC,s__IgnitionCoil) & s__instance(V__P,s__ElectricTransmission) & s__resource(V__P,V__E1) & s__instance(V__E1,s__Electricity) & s__instance(V__E2,s__Electricity) & s__result(V__P,V__E2) & s__instrument(V__P,V__IC) & s__measure(V__E1,s__MeasureFn(s__Volt,V__N1))) => (s__approximateValue(V__N1,n__12))))) ) )	Cars.kif 3155-3165	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is volt a real number(s), then the approximate value of the real number is 12
( ! [V__SURFACE,V__PAINT,V__STUFF] : (((s__instance(V__SURFACE,s__SelfConnectedObject) & s__instance(V__STUFF,s__Object)) => (((s__instance(V__PAINT,s__Painting) & s__patient(V__PAINT,V__SURFACE) & s__resource(V__PAINT,V__STUFF)) => (( ? [V__OBJ] : ((s__instance(V__OBJ,s__SelfConnectedObject) & (s__surface(V__SURFACE,V__OBJ) & s__instance(V__STUFF,s__Paint))))))))) ) )	Mid-level-ontology.kif 3122-3130	If a process is an instance of painting and a self connected object is a patient of the process and an object is a resource for the process, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the object is an instance of paint
( ! [V__PROC,V__STUFF] : ((s__instance(V__STUFF,s__Object) => (((s__instance(V__PROC,s__ChemicalProcess) & (s__resource(V__PROC,V__STUFF) \| s__result(V__PROC,V__STUFF))) => (s__instance(V__STUFF,s__PureSubstance))))) ) )	Merge.kif 11925-11931	If a process is an instance of chemical process and an object is a resource for the process or the object is a result of the process, then the object is an instance of pure substance
( ! [V__SOURCE,V__PROCESS,V__PRODUCT] : ((s__instance(V__SOURCE,s__Object) => (((s__instance(V__PROCESS,s__Separating) & s__resource(V__PROCESS,V__SOURCE) & s__result(V__PROCESS,V__PRODUCT) & s__instance(V__PRODUCT,s__Iron)) => (s__instance(V__SOURCE,s__IronOre))))) ) )	Economy.kif 4517-4523	If a process is an instance of separating and an object is a resource for the process and an entity is a result of the process and the entity is an instance of iron, then the object is an instance of iron ore
( ! [V__REMOVE,V__HAIR] : ((s__instance(V__HAIR,s__Object) => (((s__instance(V__REMOVE,s__HairRemoval) & s__resource(V__REMOVE,V__HAIR)) => (s__instance(V__HAIR,s__Hair))))) ) )	Mid-level-ontology.kif 11026-11030	If a process is an instance of hair removal and an object is a resource for the process, then the object is an instance of hair
No TPTP formula. May not be expressible in strict first order.	Food.kif 1030-1045	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7791-7796	If an object is a resource for a process and the measure of the object is a quantity holds during the beginning of the time of existence of the process and the measure of the object is another quantity holds during the end of the time of existence of the process, then the quantity is greater than the other quantity
( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] : ((s__instance(V__PROC,s__Process) => (((s__resource(V__PROC,V__SUBSTANCE1) & s__result(V__PROC,V__SUBSTANCE2) & s__instance(V__SUBSTANCE1,s__CompoundSubstance) & s__instance(V__SUBSTANCE2,s__ElementalSubstance)) => (s__instance(V__PROC,s__ChemicalDecomposition))))) ) )	Merge.kif 11963-11969	If an object is a resource for a process and an entity is a result of the process and the object is an instance of compound substance and the entity is an instance of elemental substance, then the process is an instance of chemical decomposition
( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] : ((s__instance(V__PROC,s__Process) => (((s__resource(V__PROC,V__SUBSTANCE1) & s__result(V__PROC,V__SUBSTANCE2) & s__instance(V__SUBSTANCE1,s__ElementalSubstance) & s__instance(V__SUBSTANCE2,s__CompoundSubstance)) => (s__instance(V__PROC,s__ChemicalSynthesis))))) ) )	Merge.kif 11938-11944	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis

consequent

( ! [V__COMPOUND] : (((s__instance(V__COMPOUND,s__CompoundSubstance) => ( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] : ((s__instance(V__ELEMENT1,s__ElementalSubstance) & s__instance(V__ELEMENT2,s__ElementalSubstance) & ~((V__ELEMENT1 = V__ELEMENT2)) & s__instance(V__PROCESS,s__ChemicalSynthesis) & s__resource(V__PROCESS,V__ELEMENT1) & s__resource(V__PROCESS,V__ELEMENT2) & s__result(V__PROCESS,V__COMPOUND))))) & (( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] : ((s__instance(V__ELEMENT1,s__ElementalSubstance) & s__instance(V__ELEMENT2,s__ElementalSubstance) & ~((V__ELEMENT1 = V__ELEMENT2)) & s__instance(V__PROCESS,s__ChemicalSynthesis) & s__resource(V__PROCESS,V__ELEMENT1) & s__resource(V__PROCESS,V__ELEMENT2) & s__result(V__PROCESS,V__COMPOUND)))) => s__instance(V__COMPOUND,s__CompoundSubstance))) ) )	Merge.kif 11946-11956	An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
( ! [V__CS] : (((s__instance(V__CS,s__ConjugatedSubstance) => ( ? [V__C1, V__C2, V__P] : ((s__instance(V__C1,s__CompoundSubstance) & s__instance(V__C2,s__CompoundSubstance) & ~((V__C1 = V__C2)) & s__instance(V__P,s__ChemicalSynthesis) & s__resource(V__P,V__C1) & s__resource(V__P,V__C2) & s__result(V__P,V__CS))))) & (( ? [V__C1, V__C2, V__P] : ((s__instance(V__C1,s__CompoundSubstance) & s__instance(V__C2,s__CompoundSubstance) & ~((V__C1 = V__C2)) & s__instance(V__P,s__ChemicalSynthesis) & s__resource(V__P,V__C1) & s__resource(V__P,V__C2) & s__result(V__P,V__CS)))) => s__instance(V__CS,s__ConjugatedSubstance))) ) )	Mid-level-ontology.kif 6123-6133	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 484-500	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-811	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
( ! [V__COLOR,V__OBJ] : ((s__instance(V__OBJ,s__Object) => (((s__instance(V__COLOR,s__SecondaryColor) & s__attribute(V__OBJ,V__COLOR)) => (( ? [V__PROCESS, V__RESOURCE1, V__RESOURCE2, V__PRIMARY1, V__PRIMARY2] : ((s__instance(V__PROCESS,s__Process) & s__instance(V__RESOURCE1,s__Object) & s__instance(V__RESOURCE2,s__Object) & (s__result(V__PROCESS,V__OBJ) & s__resource(V__PROCESS,V__RESOURCE1) & s__resource(V__PROCESS,V__RESOURCE2) & s__attribute(V__RESOURCE1,V__PRIMARY1) & s__attribute(V__RESOURCE2,V__PRIMARY2) & s__instance(V__PRIMARY1,s__PrimaryColor) & s__instance(V__PRIMARY2,s__PrimaryColor) & ~((V__PRIMARY1 = V__PRIMARY2)))))))))) ) )	Mid-level-ontology.kif 18411-18424	If an attribute is an instance of secondary color and the attribute is an attribute of an object, then there exist a process, another object,, , a third object,, , another attribute and a third attribute such that the object is a result of the process and the other object is a resource for the process and the third object is a resource for the process and the other attribute is an attribute of the other object and the third attribute is an attribute of the third object and the other attribute is an instance of primary color and the third attribute is an instance of primary color and the other attribute is not equal to the third attribute
( ! [V__EV,V__DEV] : (((s__instance(V__DEV,s__ElectricDevice) & s__instance(V__EV,s__Process) & s__instrument(V__EV,V__DEV)) => (( ? [V__R] : ((s__instance(V__R,s__Electricity) & s__resource(V__EV,V__R)))))) ) )	Mid-level-ontology.kif 2484-2492	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 524-538	If an object is an instance of organism and another object is an instance of egg and embryonic is an attribute of the object and the object is a part of the other object, then there exists a physical such that the physical is an instance of EggYolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
( ! [V__ORG] : (((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) => (( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Process) & (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & ( ? [V__THING] : ((s__instance(V__EV,s__Selling) & s__instance(V__THING,s__Object) & (s__capability(s__Constructing,s__resource__m,V__THING) \| s__capability(s__Agriculture,s__resource__m,V__THING)) & s__patient(V__EV,V__THING)))))))))) ) )	naics.kif 7249-7264	If a collection is an instance of organization and building material and garden equipment and supplies dealers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent
( ! [V__ORG,V__ELEC] : ((s__instance(V__ELEC,s__Object) => (((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing)) => (( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Process) & (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & ( ? [V__THING, V__MEM2, V__EV2] : ((s__instance(V__MEM2,s__Agent) & (s__instance(V__EV,s__Manufacture) & (s__instance(V__THING,s__Computer) \| (s__instance(V__THING,s__Machine) & ( ? [V__EV3] : ((s__instance(V__EV3,s__Process) & (s__patient(V__EV3,V__THING) & s__resource(V__EV3,V__ELEC) & s__instance(V__ELEC,s__Electricity))))))) & s__patient(V__EV,V__THING) & s__member(V__MEM2,V__ORG) & s__instance(V__EV2,s__Selling) & s__agent(V__EV2,V__MEM2) & s__patient(V__EV2,V__THING))))))))))))) ) )	naics.kif 5133-5157	If a collection is an instance of organization and computer and electronic product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exists the agent3 such that the entity is a patient of the agent3 and an object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
( ! [V__ORG,V__ELEC] : ((s__instance(V__ELEC,s__Object) => (((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__ElectricalEquipmentApplianceAndComponentManufacturing)) => (( ? [V__EV, V__MEM] : ((s__instance(V__MEM,s__Process) & (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & ( ? [V__THING, V__MEM2, V__EV2] : ((s__instance(V__MEM2,s__Agent) & (s__instance(V__EV,s__Manufacture) & (s__instance(V__THING,s__Machine) & ( ? [V__EV3] : ((s__instance(V__EV3,s__Process) & (s__patient(V__EV3,V__THING) & s__resource(V__EV3,V__ELEC) & s__instance(V__ELEC,s__Electricity)))))) & s__patient(V__EV,V__THING) & s__member(V__MEM2,V__ORG) & s__instance(V__EV2,s__Selling) & s__agent(V__EV2,V__MEM2) & s__patient(V__EV2,V__THING))))))))))))) ) )	naics.kif 5428-5450	If a collection is an instance of organization and electrical equipment appliance and component manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and there exists the agent3 such that the entity is a patient of the agent3 and an object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__U,V__GUEST,V__HOTEL] : (((s__instance(V__O,s__Object) & s__instance(V__P,s__Process) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__Class) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__OBJ,s__Class) & s__instance(V__PRICE,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (((s__paidRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object)) => (((s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__located(V__P,V__O) \| s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => ((s__price(V__P,s__MeasureFn(V__PRICE,V__U) ,V__HOTEL) & s__instance(V__U,s__UnitOfCurrency) & s__greaterThan(V__PRICE,n__0)))))))) ) )	Hotel.kif 374-396	If renters of a kind of hotel unit can pay to use a class and the class is a subclass of object, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the object or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price the processRICE an unit of measure(s) for the agent and the unit of measure is an instance of UnitOfCurrency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14316-14328	If translucent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of radiating light and another entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4660-4666	If industrial raw material is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of manufacture and the object is a resource for the entity
( ! [V__AGENT,V__OBJ] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__OBJ,s__Object)) => ((s__exploits(V__OBJ,V__AGENT) => (( ? [V__PROCESS] : ((s__instance(V__PROCESS,s__Process) & (s__agent(V__PROCESS,V__AGENT) & s__resource(V__PROCESS,V__OBJ))))))))) ) )	Merge.kif 3841-3846	If an object exploits an agent, then there exists a process such that the agent is an agent of the process and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1824-1832	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 607-615	If a physical is an instance of BrakePad, then the physical has the purpose there exist an entity and the physicalR such that the entity is an instance of friction and the physical is a resource for the entity and the physicalR is an instance of BrakeRotor and the physicalR is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 629-637	If a physical is an instance of brake shoe, then the physical has the purpose there exist an entity and the physicalD such that the entity is an instance of friction and the physical is a resource for the entity and the physicalD is an instance of BrakeDrum and the physicalD is a patient of the entity
( ! [V__B] : ((s__instance(V__B,s__Brandy) => (( ? [V__D, V__W] : ((s__instance(V__D,s__Distilling) & s__instance(V__W,s__Wine) & s__resource(V__D,V__W) & s__result(V__D,V__B)))))) ) )	Food.kif 1051-1058	If an entity is an instance of brandy, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of wine and the object is a resource for the process and the entity is a result of the process
( ! [V__B] : ((s__instance(V__B,s__BreadOrBiscuit) => (( ? [V__D, V__BAKE] : ((s__instance(V__D,s__Dough) & s__instance(V__BAKE,s__Baking) & s__resource(V__BAKE,V__D) & s__result(V__BAKE,V__B)))))) ) )	Mid-level-ontology.kif 20611-20618	If an entity is an instance of bread or biscuit, then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4474-4480	If a physical is an instance of brick, then the physical has the purpose there exists an entity such that the entity is an instance of constructing and the physical is a resource for the entity
( ! [V__B] : ((s__instance(V__B,s__Butter) => (( ? [V__C, V__M] : ((s__instance(V__C,s__Cooking) & s__resource(V__C,V__M) & s__instance(V__M,s__Milk) & s__result(V__C,V__B)))))) ) )	Mid-level-ontology.kif 20658-20665	If an entity is an instance of butter, then there exist a process and an object such that the process is an instance of cooking and the object is a resource for the process and the object is an instance of milk and the entity is a result of the process
( ! [V__BOARD] : ((s__instance(V__BOARD,s__BoardOrBlock) => (s__capability(s__Constructing,s__resource__m,V__BOARD))) ) )	Mid-level-ontology.kif 4463-4465	If an object is an instance of board or block, then the object is capable of doing constructing as a resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2964-2970	If a physical is an instance of candle, then the physical has the purpose there exists an entity such that the entity is an instance of fire and the physical is a resource for the entity
( ! [V__C] : ((s__instance(V__C,s__Chromatography) => (( ? [V__M] : ((s__resource(V__C,V__M) & (s__instance(V__M,s__LiquidMixture) \| s__instance(V__M,s__GasMixture))))))) ) )	Mid-level-ontology.kif 18679-18686	If a process is an instance of chromatography, then there exists an object such that the object is a resource for the process and the object is an instance of liquid mixture or the object is an instance of gas mixture

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: