(=>     (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)     (holdsRight         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 15471-15477	Wenn agreementClause Proposition, Permission, Agreement and kognitiver Agent, dann ** kognitiver Agent hat das Recht, es gibt Wesen um ** Wesen druekt den Inhalt von ** Proposition aus und ** Wesen ist der agent von ** kognitiver Agent durchzufuehren
(=>     (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)     (not         (holdsRight             (exists (?PROC)                 (and                     (realization ?PROC ?PROP)                     (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 15462-15469	Wenn agreementClause Proposition, Prohibition, Agreement and kognitiver Agent, dann ** kognitiver Agent hat das Recht, es gibt Wesen um ** Wesen druekt den Inhalt von ** Proposition aus und ** Wesen ist der agent von ** kognitiver Agent durchzufuehren nicht
(=>     (agreementRevisionDate ?AGR ?DATE ?CHANGE)     (exists (?TIME)         (and             (instance ?TIME ?DATE)             (or                 (and                     (holdsDuring                         (ImmediatePastFn ?TIME)                         (not                             (subProposition ?CHANGE ?AGR)))                     (holdsDuring                         (ImmediateFutureFn ?TIME)                         (subProposition ?CHANGE ?AGR)))                 (and                     (holdsDuring                         (ImmediatePastFn ?TIME)                         (subProposition ?CHANGE ?AGR))                     (holdsDuring                         (ImmediateFutureFn ?TIME)                         (not                             (subProposition ?CHANGE ?AGR))))))))	Government.kif 701-716	Wenn agreementRevisionDate Proposition, ** Zeitposition and ** Proposition, dann es gibt ** Zeitposition um ** ** Zeitposition ist ein fall von ** Zeitposition und ** ** Proposition ist eine teilangelegenheit von ** Proposition nicht haelt waehrend direkt vor ** ** Zeitposition und ** ** Proposition ist eine teilangelegenheit von ** Proposition haelt waehrend sofort nach ** ** Zeitposition oder ** ** Proposition ist eine teilangelegenheit von ** Proposition haelt waehrend direkt vor ** ** Zeitposition und ** ** Proposition ist eine teilangelegenheit von ** Proposition nicht haelt waehrend sofort nach ** ** Zeitposition
(=>     (albumArtist ?A ?P)     (exists (?R ?M)         (and             (instance ?R Recording)             (inList ?R ?A)             (record ?R ?M)             (agent ?M ?P))))	Music.kif 280-287	Wenn albumArtist Album and kognitiver Agent, dann es gibt Inhaltsgegenstand und Prozess um ** Inhaltsgegenstand ist ein fall von Recording und ** Inhaltsgegenstand ist ein Mitglied von ** Album und record ** Inhaltsgegenstand and ** Prozess und ** Prozess ist der agent von ** kognitiver Agent
(=>     (albumRelease ?A ?T)     (and         (exists (?R1 ?DS1)             (releaseForSale                 (AlbumCopiesFn ?A ?DS1) ?R1 ?T))         (not             (exists (?B ?R2 ?DS2)                 (and                     (before ?B ?T)                     (releaseForSale                         (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))	Music.kif 261-270	Wenn albumRelease Album and Zeitpunkt, dann es gibt geographischer Bereich und ** DataStorageDevice um releaseForSale AlbumCopiesFn ** Album and ** DataStorageDevice, ** geographischer Bereich and ** Zeitpunkt und es gibt nicht ** Zeitpunkt, ** geographischer Bereich, and und ** ** DataStorageDevice um ** ** Zeitpunkt geschieht vor ** Zeitpunkt und releaseForSale AlbumCopiesFn ** Album and ** ** DataStorageDevice, ** ** geographischer Bereich and ** ** Zeitpunkt
(=>     (almaMater ?PERSON ?SCHOOL)     (exists (?EV)         (and             (instance ?EV EducationalProcess)             (destination ?EV ?PERSON)             (eventLocated ?EV ?SCHOOL)             (holdsDuring                 (WhenFn ?EV)                 (attribute ?PERSON Student)))))	Mid-level-ontology.kif 18239-18248	Wenn almaMater Mensch and PostSecondarySchool, dann es gibt Prozess um ** Prozess ist ein fall von paedagogischer Prozess und ** Prozess endet an ** Mensch und eventLocated ** Prozess and ** PostSecondarySchool und Student ist ein attribut von ** Mensch haelt waehrend die zeit des Bestehens von ** Prozess
(=>     (altitude ?OBJ1 ?OBJ2 ?HEIGHT)     (exists (?TOP)         (and             (top ?TOP ?OBJ1)             (distance ?TOP ?OBJ2 ?HEIGHT))))	Merge.kif 7800-7805	Wenn das altitude von selbstverbundener Gegenstand ist koerperlicher Gegenstand , dann es gibt ** selbstverbundener Gegenstand um die oberseite von ** selbstverbundener Gegenstand ist ** ** selbstverbundener Gegenstand und der abstand zwischen ** ** selbstverbundener Gegenstand und ** koerperlicher Gegenstand ist Laengemass
(=>     (and         (agent ?Purchase ?Buyer)         (origin ?Purchase ?Seller)         (patient ?Purchase ?Object)         (monetaryValue ?Object ?Money))     (exists (?Payment)         (and             (subProcess ?Payment ?Purchase)             (instance ?Payment Payment)             (transactionAmount ?Payment ?Money)             (origin ?Payment ?Buyer)             (destination ?Payment ?Seller))))	FinancialOntology.kif 489-501	Wenn Prozess ist der agent von AutonomousAgent und ** Prozess beginnet an Gegenstand und koerperlicher Gegenstand ist ein patient von ** Prozess und wert von ** koerperlicher Gegenstand ist Waehrungma, dann es gibt Geldtransaktion um ** Geldtransaktion ist ein subProzess von ** Prozess und ** Geldtransaktion ist ein fall von Payment und transactionAmount ** Geldtransaktion and ** Waehrungma und ** Geldtransaktion beginnet an ** AutonomousAgent und ** Geldtransaktion endet an ** Gegenstand
(=>     (and         (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)         (or             (equal ?ATTR Obligation)             (equal ?ATTR Promise)))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 15450-15460	Wenn agreementClause Proposition, deontisches Attribut, Agreement and kognitiver Agent und ** deontisches Attribut ist gleich Obligation oder ** deontisches Attribut ist gleich Promise , dann die Aussage es gibt Wesen um ** Wesen druekt den Inhalt von ** Proposition aus und ** Wesen ist der agent von ** kognitiver Agent hat die modale Kraft von Likely
(=>     (and         (allergic ?H ?S)         (instance ?SUB ?S)         (holdsDuring ?T             (meetsSpatially ?SUB ?H)))     (modalAttribute         (exists (?AR)             (and                 (instance ?AR AllergicReaction)                 (experiencer ?AR ?H)                 (overlapsTemporally ?T                     (WhenFn ?AR))                 (before                     (BeginFn ?T)                     (BeginFn                         (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 7168-7181	Wenn allergic Mensch and ** Substanz und ** SubstanzUB ist ein fall von ** ** Substanz und ** ** SubstanzUB schliesst ** Mensch raeumlich an haelt waehrend Zeitposition , dann die Aussage es gibt ** Wesen um ** ** Wesen ist ein fall von AllergicReaction und ** Mensch erfaehrt ** ** Wesen und die zeit des Bestehens von ** ** Wesen deckt sich mit ** Zeitposition und der anfang von ** Zeitposition geschieht vor der anfang von die zeit des Bestehens von ** ** Wesen hat die modale Kraft von Likely
(=>     (and         (amount ?S ?CO             (MeasureFn ?N ?U))         (instance ?SI ?S)         (measure ?SI             (MeasureFn ?N2 ?U))         (part ?SI ?CO))     (exists (?L)         (and             (inList                 (MeasureFn ?N2 ?U) ?L)             (equal ?L                 (AmountsFn ?S ?CO ?U))             (equal ?N                 (ListSumFn ?L)))))	Merge.kif 7647-7662	Wenn amount ** Substanz, korpuskularer Gegenstand and reelle Zahl UnitOfMass(s) und ** SubstanzI ist ein fall von ** ** Substanz und das mass von ** ** SubstanzI ist ** reelle Zahl2 ** UnitOfMass(s) und ** ** SubstanzI ist ein teil von ** korpuskularer Gegenstand , dann es gibt Liste um ** reelle Zahl2 ** UnitOfMass(s) ist ein Mitglied von ** Liste und ** Liste ist gleich AmountsFn ** ** Substanz, ** korpuskularer Gegenstand and ** UnitOfMass und ** reelle Zahl ist gleich ListSumFn ** Liste
(=>     (and         (amountDue ?Account ?Amount ?DueDate)         (accountHolder ?Account ?Agent))     (holdsObligation         (KappaFn ?Payment             (and                 (instance ?Payment Payment)                 (transactionAmount ?Payment ?Amount)                 (or                     (destination ?Payment                         (CurrencyFn ?Account))                     (origin ?Payment                         (CurrencyFn ?Account)))                 (date ?Payment ?Date)                 (beforeOrEqual                     (EndFn ?Date)                     (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 657-669	Wenn amountDue FinancialAccount, Waehrungma and Zeitposition und accountHolder ** FinancialAccount and kognitiver Agent, dann ** kognitiver Agent wird gezwungen, die Aufgabe der Art von die kategorie die Zeichenfolge beschreibt durchzuf�hren
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2250-2264	Wenn arableLandArea geographischer Bereich and reelle Zahl Masseinheit(s) und ** reelle Zahl ist groesserAlsOderGleich 0.0 und totalArea ** geographischer Bereich and ** reelle Zahl ** Masseinheit(s) und ** Masseinheit ist ein fall von UnitOfArea , dann es gibt ** geographischer Bereich um ** ** geographischer Bereich ist ein fall von ArableLand und geographicSubregion ** ** geographischer Bereich and ** geographischer Bereich und das mass von ** ** geographischer Bereich ist ** reelle Zahl und ** ** reelle Zahl ** Masseinheit(s)
(=>     (and         (arcLength ?A ?L)         (equal ?A CircularArc))     (exists (?P ?P2)         (and             (pointOfFigure ?P ?A)             (pointOfFigure ?P2 ?A)             (not                 (equal ?P ?P2))             (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5684-5694	Wenn arcLength CircularArc and Laengemass und ** CircularArc ist gleich CircularArc , dann es gibt GeometricPoint und ** GeometricPoint2 um pointOfFigure ** GeometricPoint and ** CircularArc und pointOfFigure ** GeometricPoint2 and ** CircularArc und ** GeometricPoint ist gleich ** GeometricPoint2 nicht und geometricDistance ** GeometricPoint, ** GeometricPoint2 and ** Laengemass
(=>     (and         (arcLength ?SEMI             (MeasureFn ?L ?U))         (equal ?SEMI SemicircularArc))     (exists (?CIR ?C)         (and             (equal ?CIR Circle)             (geometricPart ?SEMI ?CIR)             (circumference ?CIR                 (MeasureFn ?C ?U))             (equal ?C                 (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5700-5710	Wenn arcLength CircularArc and reelle Zahl Masseinheit(s) und ** CircularArc ist gleich SemicircularArc , dann es gibt Circle und ** reelle Zahl um ** Circle ist gleich Circle und geometricPart ** CircularArc and ** Circle und circumference ** Circle and ** ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist gleich (** reelle Zahl und ** reelle Zahl)
(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	Wenn AppraisalAsJustTreatment ist ein attribut von kognitiver Agent und ** kognitiver AgentJT ist ein fall von AppraisalProcess und ** kognitiver AgentJT ist der agent von ** kognitiver Agent , dann es gibt ** Prozess und ** kognitiver Agent2 um ** ** Prozess ist ein fall von Prozess und ** kognitiver AgentJT umfasst einen hinweis auf ** ** Prozess und ** ** Prozess ist der agent von ** kognitiver Agent2 und ** kognitiver Agent ist gleich ** kognitiver Agent2 nicht und ** kognitiver Agent ist ein patient von ** ** Prozess und ** kognitiver Agent wuenscht ** ** Prozess
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	Wenn AppraisalAsUnjustTreatment ist ein attribut von kognitiver Agent und ** kognitiver AgentUJ ist ein fall von AppraisalProcess und ** kognitiver AgentUJ ist der agent von ** kognitiver Agent , dann es gibt ** Prozess und ** kognitiver Agent2 um ** ** Prozess ist ein fall von Prozess und ** kognitiver AgentUJ umfasst einen hinweis auf ** ** Prozess und ** ** Prozess ist der agent von ** kognitiver Agent2 und ** kognitiver Agent ist gleich ** kognitiver Agent2 nicht und ** kognitiver Agent ist ein patient von ** ** Prozess und ** kognitiver Agent wuenscht ** ** Prozess nicht
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 229-236	Wenn Founder ist ein attribut von AutonomousAgent und ** AutonomousAgent ist ein fall von Mensch , dann es gibt Prozess um ** Prozess ist ein fall von Founding und ** Prozess ist der agent von ** AutonomousAgent
(=>     (and         (attribute ?AC TwoFactorAuthentication)         (loggedInDuring ?A ?AC ?T))     (exists (?TF)         (and             (instance ?TF TwoFactorLoggingIn)             (agent ?TF ?A)             (accountUsed ?TF ?AC)             (earlier                 (WhenFn ?TF) ?T))))	ComputingBrands.kif 4368-4377	Wenn TwoFactorAuthentication ist ein attribut von UserAccount und loggedInDuring AutonomousAgent, ** UserAccount and Zeitabstand, dann es gibt ** ZeitabstandF um ** ZeitabstandF ist ein fall von TwoFactorLoggingIn und ** ZeitabstandF ist der agent von ** AutonomousAgent und accountUsed ** ZeitabstandF and ** UserAccount und die zeit des Bestehens von ** ZeitabstandF geschieht frueh als ** Zeitabstand
(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 765-784	Wenn VoiceActor ist ein attribut von AutonomousAgent und Prozess ist ein fall von DramaticActing und ** Prozess ist der agent von ** AutonomousAgent und ** Prozess ist ein fall von LinguisticCommunication und ** ** Prozess ist der agent von ** AutonomousAgent und ** ** Prozess ist ein subProzess von ** Prozess, dann es gibt nicht ** Prozess und ** AutonomousAgent um ** ** Prozess ist ein fall von Sehen und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist der agent von ** ** AutonomousAgent und es gibt ** Prozess und ** ** AutonomousAgent um ** ** Prozess ist ein fall von Gehoer und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist der agent von ** ** AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1377-1384	Wenn Attribut ist ein attribut von AutonomousAgent und ** Attribut ist ein fall von ProfessionalAthlete , dann es gibt Kampf um ** Kampf ist ein fall von Sport und contestParticipant ** Kampf and ** AutonomousAgent
(=>     (and         (attribute ?C Collectible)         (hasPurpose ?C ?P))     (exists (?H ?P2)         (and             (instance ?H Human)             (wants ?H ?C)             (desires ?H ?P2)             (entails ?P2                 (possesses ?H ?C))             (not                 (equal ?P ?P2)))))	Mid-level-ontology.kif 31426-31438	Wenn Collectible ist ein attribut von Gegenstand und ** Gegenstand hat Zweck von Formel , dann es gibt kognitiver Agent und ** Formel2 um ** kognitiver Agent ist ein fall von Mensch und ** kognitiver Agent wuenscht ** Gegenstand und ** kognitiver Agent wuenscht ** Formel2 und ** Formel2 hat ** kognitiver Agent besitzt ** Gegenstand zur Folge und ** Formel ist gleich ** Formel2 nicht
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	Wenn DecafAttribute ist ein attribut von Substanz und ** Substanz ist ein fall von Nahrung , dann es gibt nicht ** Substanz um ** ** Substanz ist ein fall von Caffeine und ** ** Substanz ist ein stueck von ** Substanz
(=>     (and         (attribute ?G RadioactiveSubstance)         (instance ?G Substance))     (exists (?R)         (and             (instance ?R RadiatingNuclear)             (origin ?R ?G))))	Transportation.kif 4234-4241	Wenn RadioactiveSubstance ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz , dann es gibt Prozess um ** Prozess ist ein fall von RadiatingNuclear und ** Prozess beginnet an ** Gegenstand
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4203-4227	Wenn ToxicandInfectiousSubstance ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz oder ** Gegenstand ist ein fall von Mikroorganismus , dann es gibt AutonomousAgent, Prozess,, , ** Prozess, and und ** ** Prozess um ** AutonomousAgent ist ein fall von Mensch oder ** AutonomousAgent ist ein fall von Tier und ** Gegenstand ist Near hinsichlich ** AutonomousAgent und ** Prozess ist ein fall von Inhaling oder ** Prozess ist ein fall von Einnehmen oder ** Prozess ist ein fall von Beruehren und ** Prozess ist der agent von ** AutonomousAgent und ** Gegenstand ist ein patient von ** Prozess und ** Prozess verursacht ** ** Prozess und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist ein fall von ** ** Prozess und ** Gegenstand ist faehig , in der Rolle hilfsmittel ** ** ** Prozess zu tun und ** ** ** Prozess ist eine teilkategorie von Verletzen oder ** ** ** Prozess ist eine teilkategorie von Tod
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