Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Machine Device) | Merge.kif 16398-16398 | Machine is a subclass of device |
| (documentation Machine EnglishLanguage "Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.") | Merge.kif 16399-16401 | Machine is a subclass of device |
| (externalImage Machine "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ USDA_windmills.jpg") | pictureList.kif 11405-11405 | Machine is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MACHINE Machine) (forall (?PROC) (=> (instrument ?PROC ?MACHINE) (exists (?RESOURCE ?RESULT) (and (resource ?PROC ?RESOURCE) (result ?PROC ?RESULT)))))) |
Merge.kif 16403-16411 | If X is an instance of machine, then For all Process Y: if X is an instrument for Y, then there exist Z, W such that Z is a resource for Y, and W is a result of Y |
| (=> (instance ?MACHINE Machine) (exists (?COMP1 ?COMP2) (and (instance ?COMP1 EngineeringComponent) (instance ?COMP2 EngineeringComponent) (not (equal ?COMP1 ?COMP2)) (part ?COMP1 ?MACHINE) (part ?COMP2 ?MACHINE)))) |
Merge.kif 16430-16438 | If X is an instance of machine, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of engineering component (3) Z is an instance of engineering component (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| consequent |
|
|
| (=> (and (instance ?LANG ComputerLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Machine)) |
Merge.kif 1528-1533 | If X is an instance of computer language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of machine |
| (=> (attribute ?M CoinOperated) (instance ?M Machine)) |
Mid-level-ontology.kif 32081-32083 | If coin operated is an attribute of X, then X is an instance of machine |
| (=> (instance ?X ElectroMechanicalFitting) (hasPurpose ?X (exists (?M ?E ?D) (and (instance ?M Motion) (instance ?E Electricity) (resource ?M ?E) (instrument ?M ?X) (patient ?M ?D) (instance ?D Machine))))) |
engineering.kif 1026-1036 | If X is an instance of electromechanical fitting, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of motion (3) Z is an instance of electricity (4) Z is a resource for Y (5) X is an instrument for Y (6) W is a patient of Y (7) W is an instance of machine |
| (=> (and (instance ?ORG Organization) (attribute ?ORG MachineryManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Machine) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 4638-4654 | If X is an instance of organization and machinery manufacturing 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) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of machine (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ComputerAndElectronicProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Computer) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity))))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5120-5144 | If X is an instance of organization and computer and electronic product manufacturing 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) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of computer or W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5415-5437 | If X is an instance of organization and electrical equipment appliance and component manufacturing 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) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U |
|
