(=>     (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)     (and         (exists (?CLAUSE)             (containsInformation ?CLAUSE ?PROP))         (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 14071-14076	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent, dann es gibt ContentBearingPhysical um ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition und partyToAgreement ** CognitiveAgent and ** Agreement
(=>     (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)     (holdsRight         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14099-14105	Wenn agreementClause Proposition, Permission, Agreement and CognitiveAgent, dann ** CognitiveAgent hat das Recht, es gibt entity um ** entity druekt den Inhalt von ** Proposition aus und ** entity ist der agent von ** CognitiveAgent %n{nicht} durchzufuehren %n{nicht}
(=>     (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)     (not         (holdsRight             (exists (?PROC)                 (and                     (realization ?PROC ?PROP)                     (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14090-14097	Wenn agreementClause Proposition, Prohibition, Agreement and CognitiveAgent, dann ** CognitiveAgent hat das Recht, es gibt entity um ** entity druekt den Inhalt von ** Proposition aus und ** entity ist der agent von ** CognitiveAgent %n{nicht} 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 738-753	Wenn agreementRevisionDate Proposition, ** TimePosition and ** Proposition, dann es gibt ** TimePosition um ** ** TimePosition ist ein fall von ** TimePosition %n{nicht} und ** ** Proposition ist eine teilangelegenheit von ** Proposition nicht haelt waehrend direkt vor ** ** TimePosition %n{nicht} und ** ** Proposition ist eine teilangelegenheit von ** Proposition %n{nicht} haelt waehrend sofort nach ** ** TimePosition %n{nicht} oder ** ** Proposition ist eine teilangelegenheit von ** Proposition %n{nicht} haelt waehrend direkt vor ** ** TimePosition %n{nicht} und ** ** Proposition ist eine teilangelegenheit von ** Proposition nicht haelt waehrend sofort nach ** ** TimePosition %n{nicht}
(=>     (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 CognitiveAgent, dann es gibt ContentBearingObject und Process um ** ContentBearingObject ist ein fall von Recording %n{nicht} und ** ContentBearingObject ist ein Mitglied von ** Album und record ** ContentBearingObject and ** Process und ** Process ist der agent von ** CognitiveAgent %n{nicht}
(=>     (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 TimePoint, dann es gibt GeographicArea und ** DataStorageDevice um releaseForSale AlbumCopiesFn ** Album and ** DataStorageDevice, ** GeographicArea and ** TimePoint und es gibt nicht ** TimePoint, ** GeographicArea, and und ** ** DataStorageDevice um ** ** TimePoint geschieht vor ** TimePoint %n{nicht} und releaseForSale AlbumCopiesFn ** Album and ** ** DataStorageDevice, ** ** GeographicArea and ** ** TimePoint
(=>     (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 16851-16860	Wenn almaMater Human and PostSecondarySchool, dann es gibt Process um ** Process ist ein fall von EducationalProcess %n{nicht} und ** Process endet an ** Human %n{nicht} und eventLocated ** Process and ** PostSecondarySchool und Student ist ein attribut von ** Human %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (altitude ?OBJ1 ?OBJ2 ?HEIGHT)     (exists (?TOP)         (and             (top ?TOP ?OBJ1)             (distance ?TOP ?OBJ2 ?HEIGHT))))	Merge.kif 7740-7745	Wenn das altitude von SelfConnectedObject ist Physical %n{nicht}, dann es gibt ** SelfConnectedObject um die oberseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und der abstand zwischen ** ** SelfConnectedObject und ** Physical ist LengthMeasure
(=>     (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 487-499	Wenn Process ist der agent von AutonomousAgent %n{nicht} und ** Process beginnet an Object %n{nicht} und Physical ist ein patient von ** Process %n{nicht} und wert von ** Physical ist CurrencyMeasure, dann es gibt FinancialTransaction um ** FinancialTransaction ist ein subProzess von ** Process und ** FinancialTransaction ist ein fall von Payment %n{nicht} und transactionAmount ** FinancialTransaction and ** CurrencyMeasure und ** FinancialTransaction beginnet an ** AutonomousAgent %n{nicht} und ** FinancialTransaction endet an ** Object %n{nicht}
(=>     (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 14078-14088	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent und ** DeonticAttribute ist gleich Obligation %n{nicht} oder ** DeonticAttribute ist gleich Promise %n{nicht}, dann die Aussage es gibt entity um ** entity druekt den Inhalt von ** Proposition aus und ** entity ist der agent von ** CognitiveAgent %n{nicht} 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 6230-6243	Wenn allergic Human and ** Substance und ** SubstanceUB ist ein fall von ** ** Substance %n{nicht} und ** ** SubstanceUB schliesst ** Human raeumlich an haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt ** entity um ** ** entity ist ein fall von AllergicReaction %n{nicht} und ** Human erfaehrt ** ** entity %n{nicht} und die zeit des Bestehens von ** ** entity deckt sich mit ** TimePosition %n{nicht} und der anfang von ** TimePosition geschieht vor der anfang von die zeit des Bestehens von ** ** entity %n{nicht} 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 7596-7611	Wenn amount ** Substance, CorpuscularObject and RealNumber UnitOfMass(s) und ** SubstanceI ist ein fall von ** ** Substance %n{nicht} und das mass von ** ** SubstanceI ist ** RealNumber2 ** UnitOfMass(s) %n{nicht} und ** ** SubstanceI ist ein teil von ** CorpuscularObject %n{nicht}, dann es gibt List um ** RealNumber2 ** UnitOfMass(s) ist ein Mitglied von ** List und ** List ist gleich AmountsFn ** ** Substance, ** CorpuscularObject and ** UnitOfMass %n{nicht} und ** RealNumber ist gleich ListSumFn ** List %n{nicht}
(=>     (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 655-667	Wenn amountDue FinancialAccount, CurrencyMeasure and TimePosition und accountHolder ** FinancialAccount and CognitiveAgent, dann ** CognitiveAgent wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=>     (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 2092-2106	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea ** GeographicArea and ** RealNumber ** UnitOfMeasure(s) und ** UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt ** GeographicArea um ** ** GeographicArea ist ein fall von ArableLand %n{nicht} und geographicSubregion ** ** GeographicArea and ** GeographicArea und das mass von ** ** GeographicArea ist ** RealNumber und ** ** RealNumber ** UnitOfMeasure(s) %n{nicht}
(=>     (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 CognitiveAgent %n{nicht} und ** CognitiveAgentJT ist ein fall von AppraisalProcess %n{nicht} und ** CognitiveAgentJT ist der agent von ** CognitiveAgent %n{nicht}, dann es gibt ** Process und ** CognitiveAgent2 um ** ** Process ist ein fall von Process %n{nicht} und ** CognitiveAgentJT umfasst einen hinweis auf ** ** Process und ** ** Process ist der agent von ** CognitiveAgent2 %n{nicht} und ** CognitiveAgent ist gleich ** CognitiveAgent2 nicht und ** CognitiveAgent ist ein patient von ** ** Process %n{nicht} und ** CognitiveAgent wuenscht ** ** Process %n{nicht}
(=>     (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 CognitiveAgent %n{nicht} und ** CognitiveAgentUJ ist ein fall von AppraisalProcess %n{nicht} und ** CognitiveAgentUJ ist der agent von ** CognitiveAgent %n{nicht}, dann es gibt ** Process und ** CognitiveAgent2 um ** ** Process ist ein fall von Process %n{nicht} und ** CognitiveAgentUJ umfasst einen hinweis auf ** ** Process und ** ** Process ist der agent von ** CognitiveAgent2 %n{nicht} und ** CognitiveAgent ist gleich ** CognitiveAgent2 nicht und ** CognitiveAgent ist ein patient von ** ** Process %n{nicht} und ** CognitiveAgent wuenscht ** ** Process nicht
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 223-230	Wenn Founder ist ein attribut von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von Human %n{nicht}, dann es gibt Process um ** Process ist ein fall von Founding %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht}
(=>     (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 4373-4382	Wenn TwoFactorAuthentication ist ein attribut von UserAccount %n{nicht} und loggedInDuring AutonomousAgent, ** UserAccount and TimeInterval, dann es gibt ** TimeIntervalF um ** TimeIntervalF ist ein fall von TwoFactorLoggingIn %n{nicht} und ** TimeIntervalF ist der agent von ** AutonomousAgent %n{nicht} und accountUsed ** TimeIntervalF and ** UserAccount und die zeit des Bestehens von ** TimeIntervalF geschieht frueh als ** TimeInterval %n{nicht}
(=>     (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 757-776	Wenn VoiceActor ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von DramaticActing %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process ist ein fall von LinguisticCommunication %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist ein subProzess von ** Process, dann es gibt nicht ** Process und ** AutonomousAgent um ** ** Process ist ein fall von Seeing %n{nicht} und ** AutonomousAgent ist ein patient von ** ** Process %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und es gibt ** Process und ** ** AutonomousAgent um ** ** Process ist ein fall von Hearing %n{nicht} und ** AutonomousAgent ist ein patient von ** ** Process %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht}
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1364-1371	Wenn Attribute ist ein attribut von AutonomousAgent %n{nicht} und ** Attribute ist ein fall von ProfessionalAthlete %n{nicht}, dann es gibt Contest um ** Contest ist ein fall von Sport %n{nicht} und contestParticipant ** Contest 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 29495-29507	Wenn Collectible ist ein attribut von Object %n{nicht} und ** Object hat Zweck von Formula %n{nicht}, dann es gibt CognitiveAgent und ** Formula2 um ** CognitiveAgent ist ein fall von Human %n{nicht} und ** CognitiveAgent wuenscht ** Object %n{nicht} und ** CognitiveAgent wuenscht ** Formula2 %n{nicht} und ** Formula2 hat ** CognitiveAgent besitzt ** Object %n{nicht} zur Folge %n{nicht} und ** Formula ist gleich ** Formula2 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 Substance %n{nicht} und ** Substance ist ein fall von Food %n{nicht}, dann es gibt nicht ** Substance um ** ** Substance ist ein fall von Caffeine %n{nicht} und ** ** Substance ist ein stueck von ** Substance %n{nicht}
(=>     (and         (attribute ?H Healthy)         (restingBreathingRate ?H ?R))     (and         (greaterThanOrEqualTo ?R 12)         (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 359-365	Wenn Healthy ist ein attribut von Mammal %n{nicht} und restingBreathingRate ** Mammal and Integer, dann ** Integer ist groesserAlsOderGleich 12 %n{nicht} und 16 ist groesserAlsOderGleich ** Integer %n{nicht}
(=>     (and         (attribute ?H Muslim)         (equal             (WealthFn ?H) ?W))     (modalAttribute         (exists (?Z ?T ?U ?Y ?C)             (and                 (instance ?Z Zakat)                 (instance ?Y Year)                 (during ?Y                     (WhenFn ?H))                 (holdsDuring ?Y                     (attribute ?H FullyFormed))                 (agent ?Z ?H)                 (patient ?Z ?T)                 (monetaryValue ?T                     (MeasureFn ?C ?U))                 (instance ?U UnitOfCurrency)                 (greaterThan ?C                     (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	Wenn Muslim ist ein attribut von AutonomousAgent %n{nicht} und wert von dem Eigentum von ** AutonomousAgent ist gleich CurrencyMeasure %n{nicht}, dann die Aussage es gibt entity, ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Zakat %n{nicht} und ** ** entity ist ein fall von Year %n{nicht} und ** ** entity geschieht waehrend die zeit des Bestehens von ** AutonomousAgent %n{nicht} und FullyFormed ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend ** ** entity %n{nicht} und ** entity ist der agent von ** AutonomousAgent %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und wert von ** ** entity ist ** ** entity ** ** entity(s) und ** ** entity ist ein fall von UnitOfCurrency %n{nicht} und ** ** entity ist groesserAls ** CurrencyMeasure und 0.025 %n{nicht} hat die modale Kraft von Obligation
(=>     (and         (attribute ?I Inhabited)         (instance ?I Region))     (exists (?H)         (and             (instance ?H Human)             (inhabits ?H ?I))))	Mid-level-ontology.kif 30108-30115	Wenn Inhabited ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Region %n{nicht}, dann es gibt Organism um ** Organism ist ein fall von Human %n{nicht} und ** Organism wohnt in ** Object
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