| appearance as argument number 1 |
|
| (disjointRelation result instrument) | Merge.kif 2550-2550 | result and instrument are disjoint |
| (subrelation result patient) | Merge.kif 2583-2583 | result is a subrelation of patient |
| (instance result CaseRole) | Merge.kif 2584-2584 | result is an instance of case role |
| (instance result PartialValuedRelation) | Merge.kif 2585-2585 | result is an instance of partial valued relation |
| (domain result 1 Process) | Merge.kif 2586-2586 | The number 1 argument of result is an instance of process |
| (domain result 2 Entity) | Merge.kif 2587-2587 | The number 2 argument of result is an instance of entity |
| (documentation result EnglishLanguage "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house.") | Merge.kif 2589-2591 | The number 2 argument of result is an instance of entity |
| appearance as argument number 2 |
|
|
| (disjointRelation resource result) | Merge.kif 2548-2548 | resource and result are disjoint |
| (termFormat EnglishLanguage result "result") | domainEnglishFormat.kif 49791-49791 | resource and result are disjoint |
| (termFormat ChineseTraditionalLanguage result "結果") | domainEnglishFormat.kif 49792-49792 | resource and result are disjoint |
| (termFormat ChineseLanguage result "结果") | domainEnglishFormat.kif 49793-49793 | resource and result are disjoint |
| (format EnglishLanguage result "%2 is %n a result of %1") | english_format.kif 184-184 | resource and result are disjoint |
| antecedent |
|
|
| (=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (time ?OBJ ?TIME))))) |
Merge.kif 8257-8263 | If X is a result of Y, then For all TimePoint Z: if Z happens before the beginning of the time of existence of Y, then X doesn't exist during Z |
| (=> (and (instance ?REP Replication) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (parent ?CHILD ?PARENT)) |
Merge.kif 10476-10481 | If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z |
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10496-10503 | If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y |
| (=> (and (instance ?REP AsexualReproduction) (result ?REP ?ORGANISM) (parent ?ORGANISM ?PARENT1) (parent ?ORGANISM ?PARENT2)) (equal ?PARENT1 ?PARENT2)) |
Merge.kif 10523-10529 | If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W |
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10998-11006 | If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12218-12234 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (result ?JUDGE ?P)) (and (holdsDuring (BeginFn (WhenFn ?JUDGE)) (not (believes ?AGENT ?P))) (holdsDuring (EndFn (WhenFn ?JUDGE)) (believes ?AGENT ?P)))) |
Merge.kif 12264-12278 | If X is an instance of judging, Y is an agent of X, and Z is a result of X, then Y doesn't believe Z holds during the beginning of the time of existence of X and Y believes Z holds during the end of the time of existence of X |
| (<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12642-12649 | X is an instance of combining, Y is a resource for X, Z is a result of X if, only if Y is not a part of Z holds during the beginning of the time of existence of X, and Y is a part of Z holds during the end of the time of existence of X |
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12690-12696 | If X is an instance of chemical process and Y is a resource for X or Y is a result of X, then Y is an instance of pure substance |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12703-12709 | If X is a resource for Y, Z is a result of Y, X is an instance of elemental substance, and Z is an instance of compound substance, then Y is an instance of chemical synthesis |
| (=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12723-12732 | If All of the following hold: (1) X is an instance of elemental substance (2) Y is an instance of elemental substance (3) equal X and Y (4) Z is an instance of chemical synthesis (5) X is a resource for Z (6) Y is a resource for Z (7) W is a result of Z, then W is an instance of compound substance |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12739-12745 | If X is a resource for Y, Z is a result of Y, X is an instance of compound substance, and Z is an instance of elemental substance, then Y is an instance of chemical decomposition |
| (=> (and (instance ?TRANSLATE Translating) (patient ?TRANSLATE ?EXPRESSION1) (result ?TRANSLATE ?EXPRESSION2)) (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY) (and (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1) (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2) (not (equal ?LANGUAGE1 ?LANGUAGE2))))) |
Merge.kif 12912-12921 | If X is an instance of translating, Y is a patient of X, and Z is a result of X, then there exist W, V, U such that Y represents U in the language W, Z represents U in the language V, equal W, and V |
| (=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 13004-13008 | If X is an instance of constructing and Y is a result of X, then Y is an instance of stationary artifact |
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16586-16594 | If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y |
| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 58-65 | If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains |
| (=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 74-83 | If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X |
| (=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 114-120 | If X is an instance of a dead Y, Z is an instance of death, X is a result of Z, and W experiences Z, then W is an instance of Y |
| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
| (=> (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 ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11394-11415 | If All of the following hold: (1) X is an instance of diuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) T is a result of U (10) Z is an agent of U (11) W happens earlier than Y (12) Y happens earlier than U (13) S is an instance of unit of volume (14) the measure of W is R S(s) (15) the measure of U is Q S(s), then the statement Q is greater than R has the modal force of likely |
| (=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 11424-11447 | If All of the following hold: (1) X is an instance of antidiuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) equal W and U (10) T is a result of U (11) Z is an agent of U (12) W happens earlier than Y (13) Y happens earlier than U (14) S is an instance of unit of volume (15) the measure of W is R S(s) (16) the measure of U is Q S(s), then the statement R is greater than Q has the modal force of likely |
| (=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 15757-15762 | If X is an instance of stating, Y is a result of X, and Y is an instance of sentence, then Y is an instance of statement |
| 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 |
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1107-1113 | If X is an instance of synthetic substance, then there exists Y such that Y is an instance of intentional process, X is a result of Y, and X is an instance of substance |
| (=> (ingredient ?ING ?S) (exists (?PROC ?X ?Y) (and (instance ?PROC Process) (instance ?X ?ING) (patient ?PROC ?X) (instance ?Y ?S) (result ?PROC ?Y)))) |
Merge.kif 1251-1259 | If X is an ingredient in Y, then there exist Z, W, V such that Z is an instance of process, W is an instance of X, W is a patient of Z, V is an instance of Y, and V is a result of Z |
| (=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG)))) |
Merge.kif 1505-1510 | If X is an instance of constructed language, then there exists Y such that Y is an instance of planning and X is a result of Y |
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10382-10397 | If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
| (=> (instance ?REP Replication) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (result ?REP ?BODY)))) |
Merge.kif 10483-10488 | If X is an instance of replication, then there exists Y such that Y is an instance of reproductive body and Y is a result of X |
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE ?LD) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10959-10966 | If X is an instance of legal decision, then there exist Y, Z such that Y is an instance of deciding, Z is a result of Y, X is an instance of Z, and the time of existence of Y happens earlier than the time of existence of X |
| (=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)))) |
Merge.kif 12711-12721 | If X is an instance of compound substance, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of elemental substance (3) Z is an instance of elemental substance (4) equal Y (5) Z (6) W is an instance of chemical synthesis (7) Y is a resource for W (8) Z is a resource for W (9) X is a result of W |
| (=> (instance ?DEVELOP ContentDevelopment) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (result ?DEVELOP ?OBJ)))) |
Merge.kif 12851-12856 | If X is an instance of content development, then there exists Y such that Y is an instance of content bearing object and Y is a result of X |
| (=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT))) |
Merge.kif 12966-12969 | If X is an instance of creation, then there exists Y such that Y is a result of X |
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12993-12998 | If X is an instance of making, then there exists Y such that Y is an instance of artifact and Y is a result of X |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 13010-13015 | If X is an instance of stationary artifact, then there exists Y such that Y is an instance of constructing and X is a result of Y |
| (=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD)))) |
Merge.kif 13043-13048 | If X is an instance of cooking, then there exists Y such that Y is an instance of food for human and Y is a result of X |
| (=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE)))) |
Merge.kif 14937-14942 | If X is an instance of smoke, then there exists Y such that Y is an instance of burning and X is a result of Y |
| (=> (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 ?STRUCTURE AbnormalAnatomicalStructure) (exists (?PROC) (and (instance ?PROC PathologicProcess) (result ?PROC ?STRUCTURE)))) |
Merge.kif 15117-15122 | If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y |
| (=> (instance ?PART BodyPart) (exists (?PROC) (and (instance ?PROC PhysiologicProcess) (result ?PROC ?PART)))) |
Merge.kif 15138-15143 | If X is an instance of body part, then there exists Y such that Y is an instance of physiologic process and X is a result of Y |
| (=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT)))) |
Merge.kif 15549-15554 | If X is an instance of text, then there exists Y such that Y is an instance of writing and X is a result of Y |
| (=> (authors ?AGENT ?TEXTCLASS) (exists (?PROCESS ?INSTANCE) (and (agent ?PROCESS ?AGENT) (instance ?INSTANCE ?TEXTCLASS) (result ?PROCESS ?INSTANCE)))) |
Merge.kif 15640-15646 | If X is the author of Y, then there exist Z, W such that X is an agent of Z, W is an instance of Y, and W is a result of Z |
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15857-15862 | If X is an instance of artifact, then there exists Y such that Y is an instance of making and X is a result of Y |
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15867-15872 | If X is an instance of product, then there exists Y such that Y is an instance of manufacture and X is a result 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 ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C)))) |
Merge.kif 16988-16993 | If X is an instance of computer programming, then there exists Y such that Y is an instance of computer program and Y is a result of X |
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16999-17007 | If X is an instance of plan, Y is an instance of content bearing object, and Y contains information X, then there exists Z such that Z is an instance of planning and Y is a result of Z |
| (=> (instance ?X (MakingFn ?Y)) (exists (?OBJECT) (and (instance ?OBJECT ?Y) (result ?X ?OBJECT)))) |
Merge.kif 18590-18595 | If X is an instance of the making of Y, then there exists Z such that Z is an instance of Y and Z is a result of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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