(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 450-463	Wenn Process ist ein fall von Dodging %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und ** ProcessT ist gleich die zeit des Bestehens von ** Process %n{nicht}, dann ** Process hat Zweck von es gibt nicht entity um ** ProcessT schliesst die zeit des Bestehens von ** entity zeitlich an oder die zeit des Bestehens von ** entity deckt sich mit ** ProcessT %n{nicht} und ** entity ist ein fall von Impacting %n{nicht} und ** AutonomousAgent ist ein patient von ** entity %n{nicht} %n{nicht}
(=>     (and         (instance ?DECODE Decoding)         (patient ?DECODE ?DOC1))     (exists (?ENCODE ?DOC2 ?TIME ?PROP)         (and             (containsInformation ?DOC2 ?PROP)             (containsInformation ?DOC1 ?PROP)             (temporalPart ?TIME                 (PastFn                     (WhenFn ?DECODE)))             (holdsDuring ?TIME                 (and                     (instance ?ENCODE Encoding)                     (patient ?ENCODE ?DOC2))))))	Merge.kif 12737-12750	Wenn Process ist ein fall von Decoding %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht}, dann es gibt entity, ** ContentBearingPhysical,, , TimePosition, and und Proposition um ** ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition und ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition und ** TimePosition ist ein teil von vor die zeit des Bestehens von ** Process %n{nicht} und ** entity ist ein fall von Encoding %n{nicht} und ** ** ContentBearingPhysical ist ein patient von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (instance ?DEFENSE DefensiveManeuver)         (agent ?DEFENSE ?AGENT))     (hasPurposeForAgent ?DEFENSE         (not             (exists (?DAMAGE)                 (and                     (instance ?DAMAGE Damaging)                     (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13453-13462	Wenn Process ist ein fall von DefensiveManeuver %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann ** Process hat Zweck von es gibt nicht entity um ** entity ist ein fall von Damaging %n{nicht} und ** AutonomousAgent ist ein patient von ** entity %n{nicht} fuer ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?DESTR PreciseDestruction)         (patient ?DESTR ?PATIENT))     (hasPurpose ?DESTR         (not             (exists (?DAMAGING ?DAMAGED)                 (and                     (instance ?DAMAGING Damaging)                     (subProcess ?DAMAGING ?DESTR)                     (patient ?DAMAGING ?DAMAGED)                     (not                         (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 618-630	Wenn Process ist ein fall von PreciseDestruction %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann ** Process hat Zweck von es gibt nicht ** entity und ** entity um ** ** entity ist ein fall von Damaging %n{nicht} und ** ** entity ist ein subProzess von ** Process und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** Entity ist gleich ** ** entity nicht %n{nicht}
(=>     (and         (instance ?DISCOVER Discovering)         (patient ?DISCOVER ?OBJ)         (holdsDuring             (WhenFn ?DISCOVER)             (located ?OBJ ?PLACE)))     (exists (?LEARN)         (and             (instance ?LEARN Learning)             (subProcess ?LEARN ?DISCOVER)             (patient ?LEARN                 (located ?OBJ ?PLACE)))))	Merge.kif 11995-12004	Wenn Process ist ein fall von Discovering %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Learning %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** Entity befindet sich an %n{nicht} ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?DUD AbsoluteDud)         (instance ?PROCESS TakingOff)         (patient ?PROCESS ?DUD))     (not         (exists (?EXPLOSION)             (and                 (instance ?EXPLOSION Explosion)                 (patient ?EXPLOSION ?DUD)))))	MilitaryDevices.kif 1398-1407	Wenn Entity ist ein fall von AbsoluteDud %n{nicht} und Process ist ein fall von TakingOff %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}, dann es gibt nicht ** Process um ** ** Process ist ein fall von Explosion %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3234-3250	Wenn Process ist ein fall von Downtick %n{nicht} und Physical ist ein patient von ** Process %n{nicht} und die zeit des Bestehens von ** Process ist gleich AutonomousAgent %n{nicht} und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und price ** Physical, RealNumber ** UnitOfMeasure(s) and ** AutonomousAgent, dann es gibt ** Process, ** AutonomousAgent, and und ** RealNumber um ** ** Process ist ein fall von StockMarketTransaction %n{nicht} und ** Physical ist ein patient von ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process ist gleich ** ** AutonomousAgent %n{nicht} und ** ** AutonomousAgent schliesst ** AutonomousAgent zeitlich an und price ** Physical, ** ** RealNumber ** UnitOfMeasure(s) and ** ** AutonomousAgent und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}
(=>     (and         (instance ?E Exhaust)         (material Fuel ?E)         (instance ?T Transfer)         (instance ?ENG Engine)         (origin ?T ?ENG)         (instance ?CC CatalyticConverter)         (destination ?T ?CC)         (objectTransferred ?T ?E))     (hasPurpose ?CC         (exists (?C)             (and                 (instance ?C Combustion)                 (instrument ?C ?CC)                 (patient ?C ?E)                 (eventLocated ?C ?CC)))))	Cars.kif 1723-1739	Wenn CorpuscularObject ist ein fall von Exhaust %n{nicht} und Fuel ist von ** CorpuscularObject gebildet und Transfer ist ein fall von Transfer %n{nicht} und ** CorpuscularObjectNG ist ein fall von Engine %n{nicht} und ** Transfer beginnet an ** CorpuscularObjectNG %n{nicht} und Physical ist ein fall von CatalyticConverter %n{nicht} und ** Transfer endet an ** Physical %n{nicht} und objectTransferred ** Transfer and ** CorpuscularObject, dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Combustion %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** CorpuscularObject ist ein patient von ** entity %n{nicht} und eventLocated ** entity and ** Physical %n{nicht}
(=>     (and         (instance ?E Matriculation)         (agent ?E ?C)         (patient ?E ?P)         (instance ?C College))     (exists (?G ?S)         (and             (instance ?G Graduation)             (agent ?G ?S)             (patient ?G ?P)             (instance ?S SecondarySchool)             (earlier                 (WhenFn ?G)                 (WhenFn ?E)))))	Mid-level-ontology.kif 16689-16701	Wenn Process ist ein fall von Matriculation %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** AutonomousAgent ist ein fall von College %n{nicht}, dann es gibt ** Process und ** AutonomousAgent um ** ** Process ist ein fall von Graduation %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** AutonomousAgent ist ein fall von SecondarySchool %n{nicht} und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?ECS EngineCoolingSystem)         (instance ?E Engine)         (instance ?A Automobile)         (part ?ECS ?A)         (part ?E ?A))     (hasPurpose ?ECS         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ECS)                 (patient ?C ?E)))))	Cars.kif 2148-2160	Wenn Object ist ein fall von EngineCoolingSystem %n{nicht} und ** Object ist ein fall von Engine %n{nicht} und ** Object ist ein fall von Automobile %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}, dann ** Object hat Zweck von es gibt entity um ** entity ist ein fall von Cooling %n{nicht} und ** Object ist ein instrument fuer ** entity %n{nicht} und ** ** Object ist ein patient von ** entity %n{nicht} %n{nicht}
(=>     (and         (instance ?EDUCATION EducationalProcess)         (patient ?EDUCATION ?PERSON))     (hasPurpose ?EDUCATION         (exists (?LEARN)             (and                 (instance ?LEARN Learning)                 (patient ?LEARN ?PERSON)))))	Merge.kif 11653-11661	Wenn Process ist ein fall von EducationalProcess %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann ** Process hat Zweck von es gibt ** entity um ** ** entity ist ein fall von Learning %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} %n{nicht}
(=>     (and         (instance ?EF Exfiltration)         (agent ?EF ?AGENT))     (exists (?PRET ?ENEMY)         (and             (instance ?PRET Pretending)             (agent ?PRET ?AGENT)             (patient ?PRET ?ENEMY)             (hasPurpose ?PRET                 (believes ?ENEMY                     (not                         (exists (?EF0)                             (equal ?EF0 ?EF))))))))	MilitaryProcesses.kif 257-270	Wenn Process ist ein fall von Exfiltration %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt ** Process und Entity um ** ** Process ist ein fall von Pretending %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process hat Zweck von ** Entity glaubt %n{nicht}, dass es gibt nicht ** Process0 um ** Process0 ist gleich ** Process %n{nicht} %n{nicht}
(=>     (and         (instance ?ELT ExperiencingALumpInTheThroat)         (experiencer ?ELT ?A))     (exists (?P ?T)         (and             (instance ?P Perception)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Throat)             (part ?T ?A))))	emotion.kif 1710-1721	Wenn Process ist ein fall von ExperiencingALumpInTheThroat %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process und Object um ** ** Process ist ein fall von Perception %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** ** Process %n{nicht} und ** Object ist ein fall von Throat %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?ELT ExperiencingDiscomfortInTheStomach)         (experiencer ?ELT ?A))     (exists (?P ?PAIN ?T)         (and             (instance ?P Perception)             (during                 (WhenFn ?P)                 (WhenFn ?PAIN))             (instance ?PAIN Pain)             (experiencer ?PAIN ?A)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Stomach)             (part ?T ?A))))	emotion.kif 1583-1597	Wenn Process ist ein fall von ExperiencingDiscomfortInTheStomach %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process, ** ** ProcessAIN, and und Object um ** ** Process ist ein fall von Perception %n{nicht} und die zeit des Bestehens von ** ** Process geschieht waehrend die zeit des Bestehens von ** ** ProcessAIN %n{nicht} und ** ** ProcessAIN ist ein fall von Pain %n{nicht} und ** AutonomousAgent erfaehrt ** ** ProcessAIN %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** ** Process %n{nicht} und ** Object ist ein fall von Stomach %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?ELT ExperiencingHeatInCheeksOrChest)         (experiencer ?ELT ?A))     (exists (?P ?T)         (and             (instance ?P Perception)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (or                 (instance ?T Torso)                 (instance ?T Face))             (part ?T ?A))))	emotion.kif 1738-1751	Wenn Process ist ein fall von ExperiencingHeatInCheeksOrChest %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process und Object um ** ** Process ist ein fall von Perception %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** ** Process %n{nicht} und ** Object ist ein fall von Torso %n{nicht} oder ** Object ist ein fall von Face %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?EM EyeMotion)         (agent ?EM ?A))     (exists (?E)         (and             (instance ?E Eyelid)             (part ?E ?A)             (patient ?EM ?E))))	Mid-level-ontology.kif 19942-19950	Wenn Process ist ein fall von EyeMotion %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um ** Object ist ein fall von Eyelid %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** Process %n{nicht}
(=>     (and         (instance ?ENTER Matriculation)         (agent ?ENTER ?COLLEGE)         (patient ?ENTER ?STUDENT)         (instance ?COLLEGE College))     (exists (?GRAD ?SCHOOL)         (and             (instance ?GRAD Graduation)             (agent ?GRAD ?SCHOOL)             (patient ?GRAD ?STUDENT)             (instance ?SCHOOL HighSchool)             (earlier                 (WhenFn ?GRAD)                 (WhenFn ?ENTER)))))	Mid-level-ontology.kif 16670-16682	Wenn Process ist ein fall von Matriculation %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** AutonomousAgent ist ein fall von College %n{nicht}, dann es gibt ** Process und ** AutonomousAgent um ** ** Process ist ein fall von Graduation %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** AutonomousAgent ist ein fall von HighSchool %n{nicht} und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?ESCAPE Escaping)         (agent ?ESCAPE ?AGENT))     (exists (?CONFINE)         (and             (instance ?CONFINE Confining)             (patient ?CONFINE ?AGENT)             (meetsTemporally                 (WhenFn ?CONFINE)                 (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 17280-17288	Wenn Process ist ein fall von Escaping %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Confining %n{nicht} und ** AutonomousAgent ist ein patient von ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process schliesst die zeit des Bestehens von ** Process zeitlich an
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?T ?TA)         (and             (instance ?T Transportation)             (destination ?T ?O)             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A))             (or                 (agent ?T ?TA)                 (patient ?T ?TA)))))	MilitaryProcesses.kif 2554-2569	Wenn Process ist ein fall von Evacuation %n{nicht} und ** Process beginnet an Object %n{nicht} und ** Process ist der agent von Organization %n{nicht}, dann es gibt ** Process und ** ** ProcessA um ** ** Process ist ein fall von Transportation %n{nicht} und ** ** Process endet an ** Object %n{nicht} und subOrganization ** ** ProcessA and ** Organization oder ** ** ProcessA ist ein Mitglied von ** Organization %n{nicht} oder ** ** ProcessA ist gleich ** Organization %n{nicht} und ** ** Process ist der agent von ** ** ProcessA %n{nicht} oder ** ** ProcessA ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option CallOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Buy)         (and             (instance ?Buy Buying)             (patient ?Buy ?Stocks)             (time ?Buy ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2754-2766	Wenn Process ist ein fall von ExerciseAnOption %n{nicht} und Agreement ist ein patient von ** Process %n{nicht} und ** Agreement hat ein attribut CallOption %n{nicht} und ** Process besteht waehrend TimePosition %n{nicht} und underlier ** Agreement and FinancialInstrument, dann es gibt ** Process um ** ** Process ist ein fall von Buying %n{nicht} und ** FinancialInstrument ist ein patient von ** ** Process %n{nicht} und ** ** Process besteht waehrend ** TimePosition %n{nicht} und das mass von ** FinancialInstrument ist 100 ShareUnit(s) %n{nicht}
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option PutOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Sell)         (and             (instance ?Sell Selling)             (patient ?Sell ?Stocks)             (time ?Sell ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2768-2780	Wenn Process ist ein fall von ExerciseAnOption %n{nicht} und Agreement ist ein patient von ** Process %n{nicht} und ** Agreement hat ein attribut PutOption %n{nicht} und ** Process besteht waehrend TimePosition %n{nicht} und underlier ** Agreement and FinancialInstrument, dann es gibt ** Process um ** ** Process ist ein fall von Selling %n{nicht} und ** FinancialInstrument ist ein patient von ** ** Process %n{nicht} und ** ** Process besteht waehrend ** TimePosition %n{nicht} und das mass von ** FinancialInstrument ist 100 ShareUnit(s) %n{nicht}
(=>     (and         (instance ?F Folding)         (patient ?F ?O))     (exists (?C ?P1 ?P2)         (and             (instance ?C Covering)             (subProcess ?C ?F)             (part ?P1 ?O)             (part ?P2 ?O)             (instrument ?C ?P1)             (patient ?C ?P2))))	Mid-level-ontology.kif 3169-3180	Wenn Process ist ein fall von Folding %n{nicht} und Object ist ein patient von ** Process %n{nicht}, dann es gibt ** Process, ** Object, and und ** Object um ** ** Process ist ein fall von Covering %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein instrument fuer ** ** Process %n{nicht} und ** ** Object ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?F Food)         (attribute ?F DecafAttribute)         (piece ?C ?F)         (instance ?C Caffeine))     (exists (?R)         (and             (instance ?R Removing)             (destination ?R ?F)             (patient ?R ?C))))	Food.kif 425-435	Wenn Substance ist ein fall von Food %n{nicht} und DecafAttribute ist ein attribut von ** Substance %n{nicht} und ** Substance ist ein stueck von ** Substance %n{nicht} und ** ** Substance ist ein fall von Caffeine %n{nicht}, dann es gibt Process um ** Process ist ein fall von Removing %n{nicht} und ** Process endet an ** Substance %n{nicht} und ** ** Substance ist ein patient von ** Process %n{nicht}
(=>     (and         (instance ?F FourStrokeExhaust)         (instance ?C EngineCylinder)         (instance ?I InternalCombustionChamber)         (equal ?C             (HoleHostFn ?I))         (eventLocated ?F ?C))     (exists (?E ?M)         (and             (instance ?M GasMotion)             (instance ?E Exhaust)             (subProcess ?M ?F)             (origin ?M ?I)             (patient ?M ?E))))	Cars.kif 225-238	Wenn Process ist ein fall von FourStrokeExhaust %n{nicht} und Object ist ein fall von EngineCylinder %n{nicht} und HoleRegion ist ein fall von InternalCombustionChamber %n{nicht} und ** Object ist gleich HoleHostFn ** HoleRegion %n{nicht} und eventLocated ** Process and ** Object, dann es gibt Entity und ** Process um ** ** Process ist ein fall von GasMotion %n{nicht} und ** Entity ist ein fall von Exhaust %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process beginnet an ** HoleRegion %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?F FourStrokeIntake)         (instance ?C EngineCylinder)         (instance ?I InternalCombustionChamber)         (equal ?C             (HoleHostFn ?I))         (eventLocated ?F ?C))     (exists (?FV ?M)         (and             (instance ?M GasMotion)             (instance ?FV FuelVapor)             (subProcess ?M ?F)             (destination ?M ?I)             (patient ?M ?FV))))	Cars.kif 171-184	Wenn Process ist ein fall von FourStrokeIntake %n{nicht} und Object ist ein fall von EngineCylinder %n{nicht} und HoleRegion ist ein fall von InternalCombustionChamber %n{nicht} und ** Object ist gleich HoleHostFn ** HoleRegion %n{nicht} und eventLocated ** Process and ** Object, dann es gibt ** ProcessV und ** Process um ** ** Process ist ein fall von GasMotion %n{nicht} und ** ProcessV ist ein fall von FuelVapor %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process endet an ** HoleRegion %n{nicht} und ** ProcessV ist ein patient von ** ** Process %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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