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 |
|
|
| (subclass VendingMachine Machine) | Mid-level-ontology.kif 2529-2529 | Vending machine is a subclass of machine |
| (disjoint Furniture Machine) | Mid-level-ontology.kif 4357-4357 | Furniture is disjoint from machine |
| (subclass IceMachine Machine) | Mid-level-ontology.kif 27814-27814 | Ice machine is a subclass of machine |
| (subclass Generator Machine) | Cars.kif 1128-1128 | Generator is a subclass of machine |
| (subclass AirConditioningCondenser Machine) | Cars.kif 1890-1890 | Air conditioning condenser is a subclass of machine |
| (subclass AirConditioningEvaporator Machine) | Cars.kif 1914-1914 | Air conditioning evaporator is a subclass of machine |
| (subclass GasCompressor Machine) | Cars.kif 5060-5060 | Compressor is a subclass of machine |
| (industryProductType MachineryManufacturing Machine) | Economy.kif 1904-1904 | Machine is an industry product type of machinery manufacturing |
| (subclass Lathe Machine) | Economy.kif 6408-6408 | Lathe is a subclass of machine |
| (subclass Planer Machine) | Economy.kif 6435-6435 | Planer is a subclass of machine |
| (subclass SnowBlower Machine) | Society.kif 888-888 | SnowBlower is a subclass of machine |
| (subclass Motor Machine) | engineering.kif 828-828 | Motor is a subclass of machine |
| (subclass Robot Machine) | engineering.kif 1078-1078 | Robot is a subclass of machine |
| (termFormat EnglishLanguage Machine "machine") | english_format.kif 1335-1335 | Robot is a subclass of machine |
| 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 |
|
