| appearance as argument number 1 |
|
| (subrelation instrument patient) | Merge.kif 2503-2503 | instrument is a subrelation of patient |
| (instance instrument CaseRole) | Merge.kif 2504-2504 | instrument is an instance of case role |
| (instance instrument PartialValuedRelation) | Merge.kif 2505-2505 | instrument is an instance of partial valued relation |
| (domain instrument 1 Process) | Merge.kif 2506-2506 | The number 1 argument of instrument is an instance of process |
| (domain instrument 2 Object) | Merge.kif 2507-2507 | The number 2 argument of instrument is an instance of object |
| (documentation instrument EnglishLanguage "(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair.") | Merge.kif 2509-2513 | The number 2 argument of instrument is an instance of object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1455-1462 | If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human |
| (=> (and (instance ?LANG ComputerLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Machine)) |
Merge.kif 1474-1479 | 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 |
| (=> (and (instance ?LANG HumanLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (instance ?AGENT Human)) |
Merge.kif 1488-1493 | If X is an instance of human language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of human |
| (=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12507-12513 | If X is an instance of poking, Y is an agent of X, Z is a patient of X, and W is an instrument for X, then W connects Y and Z holds during the time of existence of X |
| (=> (and (instance ?SI (ImpairmentFn ?S)) (instrument ?SI ?A)) (exists (?A2) (and (not (equal ?A2 ?A)) (capability ?S instrument ?A2) (not (capability ?S instrument ?A))))) |
Merge.kif 13650-13660 | If X is an instance of impairment in Y and Z is an instrument for X, then there exists W such that equal W, Z, W is capable of doing Y as a instrument, and Z is not capable of doing Y as a instrument |
| (=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Merge.kif 16089-16096 | If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM))) |
Merge.kif 16182-16188 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO))) |
Merge.kif 16190-16196 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B)))) |
Mid-level-ontology.kif 1304-1316 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs |
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1340-1355 | If X is an instance of shooting, Y is an instrument for X, and Y is an instance of gun, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of gun chamber (3) Z is a part of Y (4) W is an instance of inserting (5) V is an instance of bullet cartridge (6) W ends up at Z (7) the object transferred in W is V (8) the end of the time of existence of W happens before the beginning of the time of existence of X |
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1365-1384 | If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle |
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 3027-3035 | If X is an instance of electric device, Y is an instance of process, and X is an instrument for Y, then there exists Z such that Z is an instance of electricity and Z is a resource for Y |
| (=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 3246-3253 | If X is an instance of animal powered device and X is an instrument for Y, then there exists Z such that Z is an instance of animal and Z is an instrument for Y |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3366-3372 | If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of clock, then Y is an instance of time measure |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3390-3396 | If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3402-3408 | If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
| (=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER)))) |
Mid-level-ontology.kif 3958-3966 | If X is an instance of water vehicle, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Z is an instance of water area and Y is located at Z |
| (=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4702-4708 | If X is an instance of anchor, Y is an instance of attaching, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of water vehicle |
| (=> (and (instance ?S Sweeping) (instrument ?S ?B)) (instance ?B Broom)) |
Mid-level-ontology.kif 6524-6528 | If X is an instance of sweeping and Y is an instrument for X, then Y is an instance of broom |
| (=> (and (instance ?R RecreationOrExercise) (instrument ?R ?RM) (instance ?RM RowingMachine) (experiencer ?R ?H) (instance ?ROW Rowing) (subProcess ?RMOT ?R) (subclass ?C BodyMotion) (instance ?RMOT ?C)) (exists (?ROWMOT) (and (instance ?ROWMOT ?C) (subProcess ?ROWMOT ?R) (agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 9450-9464 | If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T |
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 11775-11781 | If X is an instance of muscle, Y is an instance of body motion, X is an instrument for Y, and Y is an instance of intentional process, then X is an instance of voluntary muscle |
| (=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 12043-12054 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument |
| (=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 12056-12067 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument |
| (=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART)))) |
Mid-level-ontology.kif 12501-12511 | If X is an instance of artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y originates at W |
| (=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H)))) |
Mid-level-ontology.kif 12518-12528 | If X is an instance of vein, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y ends up at W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (instance ?C Crater) (exists (?HOST ?EVENT ?METEOR ?BOMB) (and (hole ?C ?HOST) (superficialPart ?SURF (HoleHostFn ?C)) (or (and (instance ?EVENT Impacting) (instrument ?EVENT ?METEOR) (instance ?METEOR Meteorite)) (and (instance ?EVENT Explosion) (instrument ?EVENT ?BOMB) (instance ?BOMB Bomb)) (instance ?EVENT VolcanicEruption)) (result ?EVENT ?C)))) |
Merge.kif 1020-1036 | If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z |
| (=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ)))) |
Merge.kif 4728-4733 | If X uses Y, then there exists Z such that X is an agent of Z and Y is an instrument for Z |
| (=> (instance ?POISON Poisoning) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE BiologicallyActiveSubstance) (instrument ?POISON ?SUBSTANCE)))) |
Merge.kif 10630-10635 | If X is an instance of poisoning, then there exists Y such that Y is an instance of biologically active substance and Y is an instrument for X |
| (=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11541-11546 | If X is an instance of carrying, then there exists Y such that Y is an instance of animal and Y is an instrument for X |
| (=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE)))) |
Merge.kif 11770-11775 | If X is an instance of transportation, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X |
| (=> (and (instance ?SI (ImpairmentFn ?S)) (instrument ?SI ?A)) (exists (?A2) (and (not (equal ?A2 ?A)) (capability ?S instrument ?A2) (not (capability ?S instrument ?A))))) |
Merge.kif 13650-13660 | If X is an instance of impairment in Y and Z is an instrument for X, then there exists W such that equal W, Z, W is capable of doing Y as a instrument, and Z is not capable of doing Y as a instrument |
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 13884-13889 | If X is an instance of instrumental music, then there exists Y such that Y is an instance of musical instrument and Y is an instrument for X |
| (=> (instance ?HORMONE Hormone) (exists (?PROCESS ?GLAND) (and (instance ?GLAND Gland) (instrument ?PROCESS ?GLAND) (result ?PROCESS ?HORMONE)))) |
Merge.kif 15020-15026 | If X is an instance of hormone, then there exist Y, Z such that Z is an instance of gland, Z is an instrument for Y, and X is a result of Y |
| (=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE))) |
Merge.kif 16141-16144 | If X is an instance of device, then there exists Y such that X is capable of doing Y as a instrument |
| (=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE)))))) |
Merge.kif 16146-16153 | If X is an instance of device, then there exists Y such that X has the purpose there exists Z such that Z is an instance of Y and X is an instrument for Z |
| (=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 16159-16161 | If X is an instance of musical instrument, then X is capable of doing making music as a instrument |
| (=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE)) |
Merge.kif 16168-16170 | If X is an instance of transportation device, then X is capable of doing transportation as a instrument |
| (=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16202-16208 | If X is an instance of measuring device, then X has the purpose there exists Y such that Y is an instance of measuring and X is an instrument for Y |
| (=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE)))) |
Merge.kif 16214-16219 | If X is an instance of attaching device, then there exists Y such that Y is an instance of attaching and X is an instrument for Y |
| (=> (instance ?WEAPON Weapon) (capability Damaging instrument ?WEAPON)) |
Merge.kif 16226-16228 | If X is an instance of weapon, then X is capable of doing damaging as a instrument |
| (=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16230-16237 | If X is an instance of weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, and Z is a patient of Y |
| (=> (instance ?MACHINE Machine) (forall (?PROC) (=> (instrument ?PROC ?MACHINE) (exists (?RESOURCE ?RESULT) (and (resource ?PROC ?RESOURCE) (result ?PROC ?RESULT)))))) |
Merge.kif 16244-16252 | 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 ?VOCAL Vocalizing) (exists (?CORD ?ORGANISM) (and (instance ?CORD VocalCords) (instrument ?VOCAL ?CORD) (part ?CORD ?ORGANISM) (instance ?ORGANISM Organism)))) |
Mid-level-ontology.kif 791-798 | If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism |
| (=> (instance ?SHELL ShotShell) (hasPurpose ?SHELL (exists (?S ?G) (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Shotgun) (patient ?S ?SHELL))))) |
Mid-level-ontology.kif 1135-1143 | If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y |
| (=> (instance ?L ProjectileLauncher) (capability Shooting instrument ?L)) |
Mid-level-ontology.kif 1203-1205 | If X is an instance of projectile launcher, then X is capable of doing shooting as a instrument |
| (=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L)))) |
Mid-level-ontology.kif 1207-1214 | If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of projectile launcher, and Z is an instrument for X |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1234-1236 | If X is an instance of gun, then X is capable of doing shooting as a instrument |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1238-1245 | If X is an instance of shooting, then there exist Y, Z such that Y is an instance of projectile, Y is a patient of X, Z is an instance of gun, and Z is an instrument for X |
| (=> (instance ?B Bullet) (hasPurpose ?B (exists (?S ?GUN) (and (instance ?S Shooting) (instrument ?S ?GUN) (instance ?GUN Gun) (patient ?S ?B))))) |
Mid-level-ontology.kif 1253-1261 | If X is an instance of bullet, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of gun, and X is a patient of Y |
| (=> (instance ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B)))))) |
Mid-level-ontology.kif 1443-1458 | If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 20112-20129 | All of the following hold: (1) there exist ?X, ?CUT,, , ?PAPER,, , ?CBO (2) ?INFO such that ?X is an instance of paper shredder (3) ?CUT is an instance of cutting (4) ?X is an instrument for ?CUT (5) ?PAPER is an instance of paper (6) ?PAPER is a patient of ?CUT (7) ?CBO is located at ?PAPER (8) ?CBO is an instance of visual content bearing object (9) ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting (10) ?INFO is a patient of ?READ (11) the time of existence of ?CUT happens earlier than the time of existence of ?READ |
| (hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3216-3222 | IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners