(=>     (and         (instance ?T Thoracentesis)         (patient ?T ?H))     (exists (?I ?O ?IN ?L ?C ?F)         (and             (instance ?I Inserting)             (subProcess ?I ?T)             (objectTransferred ?I ?N)             (origin ?I ?O)             (destination ?I ?IN)             (instance ?N Needle)             (attribute ?F Fluid)             (objectTransferred ?T ?F)             (destination ?F ?O)             (instance ?L Lung)             (instance ?C Chest)             (part ?L ?H)             (part ?C ?H)             (origin ?T ?IN)             (destination ?T ?O)             (between ?L ?IN ?C)             (orientation ?O ?H Outside))))	Medicine.kif 895-917	Wenn Transfer ist ein fall von Thoracentesis %n{nicht} und Object ist ein patient von ** Transfer %n{nicht}, dann es gibt ** Transfer, ** Object,, , ** ** TransferN,, , ** Object,, , ** Object, and und ** Object um ** ** Transfer ist ein fall von Inserting %n{nicht} und ** ** Transfer ist ein subProzess von ** Transfer und objectTransferred ** ** Transfer and ** Object und ** ** Transfer beginnet an ** ** Object %n{nicht} und ** ** Transfer endet an ** ** TransferN %n{nicht} und ** ** Object ist ein fall von Needle %n{nicht} und Fluid ist ein attribut von ** ** Object %n{nicht} und objectTransferred ** Transfer and ** ** Object und ** ** Object endet an ** ** Object %n{nicht} und ** ** Object ist ein fall von Lung %n{nicht} und ** ** Object ist ein fall von Chest %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Transfer beginnet an ** ** TransferN %n{nicht} und ** Transfer endet an ** ** Object %n{nicht} und ** ** TransferN ist zwischen ** ** Object und ** ** Object %n{nicht} und ** ** Object ist Outside hinsichlich ** Object %n{nicht}
(=>     (and         (instance ?T1 Translocation)         (instance ?T2 Translocation)         (origin ?T1 ?O1)         (origin ?T2 ?D1)         (destination ?T1 ?D1)         (destination ?T2 ?D2)         (experiencer ?T1 ?P)         (experiencer ?T2 ?P))     (exists (?T)         (and             (instance ?T Translocation)             (origin ?T ?O1)             (destination ?T ?D2)             (subProcess ?T1 ?T)             (subProcess ?T2 ?T)             (experiencer ?T ?P)             (starts                 (WhenFn ?T1)                 (WhenFn ?T))             (finishes                 (WhenFn ?T2)                 (WhenFn ?T)))))	Merge.kif 11327-11350	Wenn Process ist ein fall von Translocation %n{nicht} und ** Process ist ein fall von Translocation %n{nicht} und ** Process beginnet an Object %n{nicht} und ** ** Process beginnet an ** Object %n{nicht} und ** Process endet an ** ** Object %n{nicht} und ** ** Process endet an Entity %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** AutonomousAgent erfaehrt ** ** Process %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Translocation %n{nicht} und ** ** Process beginnet an ** Object %n{nicht} und ** ** Process endet an ** Entity %n{nicht} und ** Process ist ein subProzess von ** ** Process und ** ** Process ist ein subProzess von ** ** Process und ** AutonomousAgent erfaehrt ** ** Process %n{nicht} und die zeit des Bestehens von ** Process beginnt die zeit des Bestehens von ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process beendet die zeit des Bestehens von ** ** Process %n{nicht}
(=>     (and         (instance ?TRANS FinancialTransaction)         (attribute ?TRANS BusinessToBusiness))     (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)         (and             (instance ?ACCT1 UserAccount)             (instance ?ACCT2 UserAccount)             (instance ?USER1 AutonomousAgent)             (instance ?USER2 AutonomousAgent)             (instance ?SITE WebSite)             (agent ?TRANS ?USER1)             (destination ?TRANS ?USER2)             (instrument ?TRANS ?SITE)             (hasAccount ?USER1 ?ACCT1)             (hasAccount ?USER2 ?ACCT2)             (accountAtSite ?ACCT1 ?SITE)             (accountAtSite ?ACCT2 ?SITE)             (attribute ?ACCT1 BusinessAccount)             (attribute ?ACCT2 BusinessAccount))))	UXExperimentalTerms.kif 1727-1746	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToBusiness ist ein attribut von ** Object %n{nicht}, dann es gibt UserAccount, ** UserAccount,, , AutonomousAgent,, , ** AutonomousAgent, and und WebSite um ** UserAccount ist ein fall von UserAccount %n{nicht} und ** ** UserAccount ist ein fall von UserAccount %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** WebSite ist ein fall von WebSite %n{nicht} und ** Object ist der agent von ** AutonomousAgent %n{nicht} und ** Object endet an ** ** AutonomousAgent %n{nicht} und ** WebSite ist ein instrument fuer ** Object %n{nicht} und hasAccount ** AutonomousAgent and ** UserAccount und hasAccount ** ** AutonomousAgent and ** ** UserAccount und accountAtSite ** UserAccount and ** WebSite und accountAtSite ** ** UserAccount and ** WebSite und BusinessAccount ist ein attribut von ** UserAccount %n{nicht} und BusinessAccount ist ein attribut von ** ** UserAccount %n{nicht}
(=>     (and         (instance ?TRANS FinancialTransaction)         (attribute ?TRANS BusinessToConsumer))     (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)         (and             (instance ?ACCT1 UserAccount)             (instance ?ACCT2 UserAccount)             (instance ?USER1 AutonomousAgent)             (instance ?USER2 AutonomousAgent)             (instance ?SITE WebSite)             (agent ?TRANS ?USER1)             (destination ?TRANS ?USER2)             (instrument ?TRANS ?SITE)             (hasAccount ?USER1 ?ACCT1)             (hasAccount ?USER2 ?ACCT2)             (accountAtSite ?ACCT1 ?SITE)             (accountAtSite ?ACCT2 ?SITE)             (attribute ?ACCT1 BusinessAccount)             (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1759-1778	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToConsumer ist ein attribut von ** Object %n{nicht}, dann es gibt UserAccount, ** UserAccount,, , AutonomousAgent,, , ** AutonomousAgent, and und WebSite um ** UserAccount ist ein fall von UserAccount %n{nicht} und ** ** UserAccount ist ein fall von UserAccount %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** WebSite ist ein fall von WebSite %n{nicht} und ** Object ist der agent von ** AutonomousAgent %n{nicht} und ** Object endet an ** ** AutonomousAgent %n{nicht} und ** WebSite ist ein instrument fuer ** Object %n{nicht} und hasAccount ** AutonomousAgent and ** UserAccount und hasAccount ** ** AutonomousAgent and ** ** UserAccount und accountAtSite ** UserAccount and ** WebSite und accountAtSite ** ** UserAccount and ** WebSite und BusinessAccount ist ein attribut von ** UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** ** UserAccount %n{nicht}
(=>     (and         (instance ?TRANS FinancialTransaction)         (attribute ?TRANS ConsumerToConsumer))     (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)         (and             (instance ?ACCT1 UserAccount)             (instance ?ACCT2 UserAccount)             (instance ?USER1 AutonomousAgent)             (instance ?USER2 AutonomousAgent)             (instance ?SITE WebSite)             (agent ?TRANS ?USER1)             (destination ?TRANS ?USER2)             (instrument ?TRANS ?SITE)             (hasAccount ?USER1 ?ACCT1)             (hasAccount ?USER2 ?ACCT2)             (accountAtSite ?ACCT1 ?SITE)             (accountAtSite ?ACCT2 ?SITE)             (attribute ?ACCT1 ConsumerAccount)             (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1791-1810	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und ConsumerToConsumer ist ein attribut von ** Object %n{nicht}, dann es gibt UserAccount, ** UserAccount,, , AutonomousAgent,, , ** AutonomousAgent, and und WebSite um ** UserAccount ist ein fall von UserAccount %n{nicht} und ** ** UserAccount ist ein fall von UserAccount %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** WebSite ist ein fall von WebSite %n{nicht} und ** Object ist der agent von ** AutonomousAgent %n{nicht} und ** Object endet an ** ** AutonomousAgent %n{nicht} und ** WebSite ist ein instrument fuer ** Object %n{nicht} und hasAccount ** AutonomousAgent and ** UserAccount und hasAccount ** ** AutonomousAgent and ** ** UserAccount und accountAtSite ** UserAccount and ** WebSite und accountAtSite ** ** UserAccount and ** WebSite und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** ** UserAccount %n{nicht}
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	Wenn Object ist ein fall von Selling %n{nicht} und CBT ist ein attribut von ** Object %n{nicht} und Entity ist ein patient von ** Object %n{nicht} und ** Entity ist ein fall von Object %n{nicht}, dann es gibt AutonomousAgent, Physical,, , ** Physical_LOCATION, and und ** AutonomousAgent_LOCATION um ** Physical ist ein fall von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ** Object endet an ** Physical %n{nicht} und ** Object ist der agent von ** AutonomousAgent %n{nicht} und ** Physical_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und ** AutonomousAgent_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und ** AutonomousAgent befindet sich an %n{nicht} und ** Physical befindet sich an %n{nicht} und ** Physical_LOCATION ist gleich ** AutonomousAgent_LOCATION nicht
(=>     (and         (instance ?V PulmonaryVein)         (instance ?T Transfer)         (patient ?T ?B)         (instrument ?T ?V)         (instance ?B Blood))     (exists (?L ?H ?P)         (and             (instance ?L Lung)             (origin ?T ?L)             (part ?V ?P)             (part ?L ?P)             (part ?H ?P)             (instance ?H Heart)             (destination ?T ?H))))	Mid-level-ontology.kif 11156-11171	Wenn Object ist ein fall von PulmonaryVein %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Entity ist ein fall von Blood %n{nicht}, dann es gibt ** Object, ** Object, and und ** Object um ** ** Object ist ein fall von Lung %n{nicht} und ** Process beginnet an ** ** Object %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein fall von Heart %n{nicht} und ** Process endet an ** ** Object %n{nicht}
(=>     (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 11124-11134	Wenn Object ist ein fall von Vein %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Entity ist ein fall von Blood %n{nicht}, dann es gibt ** Entity um ** ** Entity ist ein fall von Heart %n{nicht} und ** Process endet an ** ** Entity %n{nicht}
(=>     (and         (instance ?X DutyTax)         (refers ?X ?OBJ)         (patient ?X ?OBJ))     (exists (?T ?N1 ?N2)         (and             (instance ?T Transfer)             (patient ?T ?OBJ)             (origin ?T ?N1)             (destination ?T ?N2)             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2))             (earlier                 (WhenFn ?T)                 (WhenFn ?X))             (causes ?T ?X))))	FinancialOntology.kif 949-964	Wenn Process ist ein fall von DutyTax %n{nicht} und ** Process umfasst einen hinweis auf Entity und ** Entity ist ein patient von ** Process %n{nicht}, dann es gibt ** Process, Object, and und ** Entity um ** ** Process ist ein fall von Transfer %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process beginnet an ** Object %n{nicht} und ** ** Process endet an ** ** Entity %n{nicht} und ** Object ist ein fall von Nation %n{nicht} und ** ** Entity ist ein fall von Nation %n{nicht} und ** Object ist gleich ** ** Entity nicht und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht} und ** ** Process verursacht ** Process %n{nicht}
(=>     (and         (instance ?X TelephoneCommunication)         (attribute ?X Domestic))     (exists (?ORIGIN ?DEST ?COUNTRY)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (located ?ORIGIN ?COUNTRY)             (located ?DEST ?COUNTRY)             (instance ?COUNTRY Nation))))	Mid-level-ontology.kif 27113-27123	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und Domestic ist ein attribut von ** Object %n{nicht}, dann es gibt ** Object, Physical, and und ** Object um ** Object beginnet an ** ** Object %n{nicht} und ** Object endet an ** Physical %n{nicht} und ** ** Object befindet sich an %n{nicht} und ** Physical befindet sich an %n{nicht} und ** ** Object ist ein fall von Nation %n{nicht}
(=>     (and         (instance ?X TelephoneCommunication)         (attribute ?X International))     (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (located ?ORIGIN ?CTRY1)             (located ?DEST ?CTRY2)             (instance ?CTRY1 Nation)             (instance ?CTRY2 Nation)             (not                 (equal ?CTRY1 ?CTRY2)))))	Mid-level-ontology.kif 27130-27142	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und International ist ein attribut von ** Object %n{nicht}, dann es gibt ** Object, Physical,, , ** Object, and und ** Object um ** Object beginnet an ** ** Object %n{nicht} und ** Object endet an ** Physical %n{nicht} und ** ** Object befindet sich an %n{nicht} und ** Physical befindet sich an %n{nicht} und ** ** Object ist ein fall von Nation %n{nicht} und ** ** Object ist ein fall von Nation %n{nicht} und ** ** Object ist gleich ** ** Object nicht
(=>     (and         (instance ?X TelephoneCommunication)         (attribute ?X Local))     (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (telephoneNumber ?TEL1 ?ORIGIN)             (telephoneNumber ?TEL2 ?DEST)             (telecomAreaCode ?CODE ?TEL1)             (telecomAreaCode ?CODE ?TEL2))))	Mid-level-ontology.kif 27095-27106	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und Local ist ein attribut von ** Object %n{nicht}, dann es gibt TelecomNumber, ** TelecomNumber,, , AutonomousAgent,, , ** AutonomousAgent, and und SymbolicString um ** Object beginnet an ** AutonomousAgent %n{nicht} und ** Object endet an ** ** AutonomousAgent %n{nicht} und telephoneNumber ** TelecomNumber and ** AutonomousAgent und telephoneNumber ** ** TelecomNumber and ** ** AutonomousAgent und telecomAreaCode ** SymbolicString and ** TelecomNumber und telecomAreaCode ** SymbolicString and ** ** TelecomNumber
(=>     (and         (monetaryValue ?Check ?Amount)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (destination ?Processing             (CurrencyFn ?Account))         (instance ?Account FinancialAccount)         (equal             (WhenFn ?Processing) ?ProcessingTime))     (exists (?Deposit ?DepositTime)         (and             (instance ?Deposit Deposit)             (instrument ?Deposit ?Check)             (equal                 (WhenFn ?Deposit) ?DepositTime)             (meetsTemporally ?ProcessingTime ?DepositTime)             (transactionAmount ?Deposit ?Amount)             (destination ?Deposit                 (CurrencyFn ?Account)))))	FinancialOntology.kif 120-135	Wenn wert von Object ist CurrencyMeasure und Process ist ein fall von ProcessingACheck %n{nicht} und ** Object ist ein patient von ** Process %n{nicht} und ** Process endet an CurrencyFn FinancialAccount %n{nicht} und ** FinancialAccount ist ein fall von FinancialAccount %n{nicht} und die zeit des Bestehens von ** Process ist gleich ** ProcessTime %n{nicht}, dann es gibt FinancialTransaction und ** FinancialTransactionTime um ** FinancialTransaction ist ein fall von Deposit %n{nicht} und ** Object ist ein instrument fuer ** FinancialTransaction %n{nicht} und die zeit des Bestehens von ** FinancialTransaction ist gleich ** FinancialTransactionTime %n{nicht} und ** ProcessTime schliesst ** FinancialTransactionTime zeitlich an und transactionAmount ** FinancialTransaction and ** CurrencyMeasure und ** FinancialTransaction endet an CurrencyFn ** FinancialAccount %n{nicht}
(=>     (and         (negotiatedPrice ?ENT ?PRICE ?AGREE)         (partyToAgreement ?SELLER ?AGREE)         (partyToAgreement ?BUYER ?AGREE))     (modalAttribute         (exists (?S ?ITEM)             (and                 (instance ?S Selling)                 (patient ?S ?ITEM)                 (immediateInstance ?ITEM ?ENT)                 (agent ?S ?SELLER)                 (destination ?S ?BUYER)                 (transactionAmount ?S ?PRICE))) Promise))	Catalog.kif 276-289	Wenn negotiatedPrice ** Physical, CurrencyMeasure and Agreement und partyToAgreement CognitiveAgent and ** Agreement und partyToAgreement ** CognitiveAgent and ** Agreement, dann die Aussage es gibt entity und ** entity um ** entity ist ein fall von Selling %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** ** entity ist ein direkter fall von ** Physical und ** entity ist der agent von ** CognitiveAgent %n{nicht} und ** entity endet an ** ** CognitiveAgent %n{nicht} und transactionAmount ** entity and ** CurrencyMeasure hat die modale Kraft von Promise
(=>     (and         (possesses ?BUS ?PARK)         (instance ?BUS CommercialAgent)         (instance ?PARK ParkingLot)         (instance ?BLDG Building)         (located ?BUS ?BLDG)         (customer ?BUS ?CUST)         (holdsDuring ?T             (located ?CUST ?BLDG))         (instance ?DRIVE Driving)         (patient ?DRIVE ?VEHICLE)         (agent ?DRIVE ?CUST)         (destination ?DRIVE ?BLDG))     (holdsDuring ?T         (confersRight             (and                 (instance ?PUT Keeping)                 (destination ?PUT ?PARK)                 (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 102-121	Wenn CognitiveAgent besitzt Object %n{nicht} und ** CognitiveAgent ist ein fall von CommercialAgent %n{nicht} und ** Object ist ein fall von ParkingLot %n{nicht} und ** Object ist ein fall von Building %n{nicht} und ** CognitiveAgent befindet sich an %n{nicht} und customer ** CognitiveAgent and AutonomousAgent und ** AutonomousAgent befindet sich an %n{nicht} haelt waehrend TimePosition %n{nicht} und Process ist ein fall von Driving %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process endet an ** ** Object %n{nicht}, dann ** CognitiveAgent erlaubt ** AutonomousAgent, die Aufgabe der Art von ** entity ist ein fall von Keeping %n{nicht} und ** ** entity endet an ** Object %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} durchzuf�hren %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (property ?X Booting)         (instance ?X Computer))     (exists (?CD ?OS ?DT)         (and             (instance ?CD DigitalData)             (instance ?OS OperatingSystem)             (instance ?DT DataTransfer)             (during                 (WhenFn ?DT)                 (WhenFn ?X))             (destination ?DT ?X)             (part ?CD ?OS)             (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3217-3229	Wenn Physical hat ein attribut Booting %n{nicht} und ** Physical ist ein fall von Computer %n{nicht}, dann es gibt Object, ** Object, and und Transfer um ** Object ist ein fall von DigitalData %n{nicht} und ** ** Object ist ein fall von OperatingSystem %n{nicht} und ** Transfer ist ein fall von DataTransfer %n{nicht} und die zeit des Bestehens von ** Transfer geschieht waehrend die zeit des Bestehens von ** Physical %n{nicht} und ** Transfer endet an ** Physical %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und objectTransferred ** Transfer and ** Object
(=>     (and         (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)         (equal ?QUANT             (PerFn ?PRICE                 (measure ?TIME ?U)))         (instance ?U UnitOfDuration)         (immediateInstance ?ITEM ?OBJ)         (instance ?R Renting)         (patient ?R ?ITEM)         (agent ?R ?CUSTOMER)         (time ?R ?TIMEINT))     (forall (?X)         (=>             (exists (?DURATION)                 (and                     (during ?TIMEINT ?X)                     (instance ?X TimeInterval)                     (duration ?X                         (MeasureFn ?DURATION ?U))                     (lessThanOrEqualTo ?DURATION ?TIME)))             (exists (?P)                 (and                     (instance ?P Payment)                     (destination ?P ?AGENT)                     (agent ?P ?CUSTOMER)                     (transactionAmount ?P ?PRICE))))))	Catalog.kif 467-492	Wenn rentalPrice ** Physical, FunctionQuantity, CognitiveAgent and PricingScheme und ** FunctionQuantity ist gleich PerFn CurrencyMeasure and das mass von RealNumber ist UnitOfMeasure %n{nicht} %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfDuration %n{nicht} und Entity ist ein direkter fall von ** Physical und Process ist ein fall von Renting %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und ** Process besteht waehrend ** RealNumberINT %n{nicht}, dann fuer alle ** TimeInterval wenn es gibt ** RealNumber um ** RealNumberINT geschieht waehrend ** ** TimeInterval %n{nicht} und ** ** TimeInterval ist ein fall von TimeInterval %n{nicht} und dauer von ** ** TimeInterval ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist kleinerAlsOderGleich ** RealNumber %n{nicht}, dann es gibt FinancialTransaction um ** FinancialTransaction ist ein fall von Payment %n{nicht} und ** FinancialTransaction endet an ** CognitiveAgent %n{nicht} und ** FinancialTransaction ist der agent von ** AutonomousAgent %n{nicht} und transactionAmount ** FinancialTransaction and ** CurrencyMeasure
(=>     (and         (reservationStart ?TIME1 ?R)         (reservationEnd ?TIME2 ?R)         (reservingEntity ?CUST ?R)         (fulfillingEntity ?AGENT ?R))     (modalAttribute         (holdsDuring             (TimeIntervalFn ?TIME1 ?TIME2)             (exists (?P)                 (and                     (instance ?P IntentionalProcess)                     (agent ?P ?AGENT)                     (destination ?P ?CUST)))) Likely))	Dining.kif 711-724	Wenn reservationStart TimePoint and Reservation und reservationEnd ** TimePoint and ** Reservation und reservingEntity AutonomousAgent and ** Reservation und fulfillingEntity ** AutonomousAgent and ** Reservation, dann die Aussage es gibt entity um ** entity ist ein fall von IntentionalProcess %n{nicht} und ** entity ist der agent von ** ** AutonomousAgent %n{nicht} und ** entity endet an ** AutonomousAgent %n{nicht} haelt waehrend abstand zwischen ** TimePoint und ** ** TimePoint %n{nicht} hat die modale Kraft von Likely
(=>     (and         (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)         (instance ?ATTR FoodRating)         (instance ?ENTITY AutonomousAgent))     (exists (?FOOD ?COOK ?CLASSIFY)         (and             (instance ?COOK Cooking)             (agent ?COOK ?ENTITY)             (result ?COOK ?FOOD)             (instance ?CLASSIFY Classifying)             (agent ?CLASSIFY ?AGENT)             (destination ?CLASSIFY ?FOOD)             (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3062-3075	Wenn subjectiveAttribute AutonomousAgent, Attribute and ** AutonomousAgent und ** Attribute ist ein fall von FoodRating %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht}, dann es gibt Entity, Process, and und ** Process um ** Process ist ein fall von Cooking %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht} und ** ** Process ist ein fall von Classifying %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** ** Process endet an ** Entity %n{nicht} und ** Attribute ist ein patient von ** ** Process %n{nicht}
(=>     (and         (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)         (instance ?ATTR ServiceRating)         (instance ?ENTITY AutonomousAgent))     (exists (?SVC ?CLASSIFY)         (and             (instance ?SVC ServiceProcess)             (agent ?SVC ?ENTITY)             (instance ?CLASSIFY Classifying)             (agent ?CLASSIFY ?AGENT)             (destination ?CLASSIFY ?SVC)             (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3091-3103	Wenn subjectiveAttribute AutonomousAgent, Attribute and ** AutonomousAgent und ** Attribute ist ein fall von ServiceRating %n{nicht} und ** AutonomousAgent ist ein fall von AutonomousAgent %n{nicht}, dann es gibt Process und ** Process um ** Process ist ein fall von ServiceProcess %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist ein fall von Classifying %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** ** Process endet an ** Process %n{nicht} und ** Attribute ist ein patient von ** ** Process %n{nicht}
(=>     (and         (suppliesBlood ?AC ?BPC)         (instance ?A ?AC)         (instance ?BP ?BPC))     (hasPurpose ?A         (exists (?BF ?B)             (and                 (instance ?BF LiquidMotion)                 (objectTransferred ?BF ?B)                 (instance ?B Blood)                 (destination ?BF ?BP)))))	Anatomy.kif 1947-1958	Wenn suppliesBlood ** Artery and ** BodyPart und Physical ist ein fall von ** Artery %n{nicht} und Entity ist ein fall von ** BodyPart %n{nicht}, dann ** Physical hat Zweck von es gibt ** entity und ** entity um ** ** entity ist ein fall von LiquidMotion %n{nicht} und objectTransferred ** ** entity and ** ** entity und ** ** entity ist ein fall von Blood %n{nicht} und ** ** entity endet an ** Entity %n{nicht} %n{nicht}
(=>     (and         (viewedItemList ?USER ?LIST)         (inList ?ACCESSING ?LIST))     (and         (instance ?ACCESSING AccessingWebPage)         (agent ?ACCESSING ?USER)         (exists (?DEST)             (and                 (instance ?DEST WebPage)                 (destination ?ACCESSING WebPage)))))	UXExperimentalTerms.kif 771-781	Wenn viewedItemList AutonomousAgent and List und Process ist ein Mitglied von ** List, dann ** Process ist ein fall von AccessingWebPage %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und es gibt Entity um ** Entity ist ein fall von WebPage %n{nicht} und ** Process endet an WebPage %n{nicht}
(=>     (attribute ?H Valet)     (hasPurpose ?H         (and             (instance ?VEHICLE Vehicle)             (instance ?PUT Putting)             (destination ?PUT ?PARK)             (instance ?PARK ParkingRegion)             (patient ?PUT ?VEHICLE)             (agent ?PUT ?H))))	TransportDetail.kif 132-141	Wenn Valet ist ein attribut von Object %n{nicht}, dann ** Object hat Zweck von entity ist ein fall von Vehicle %n{nicht} und ** entity ist ein fall von Putting %n{nicht} und ** ** entity endet an ** entity %n{nicht} und ** ** entity ist ein fall von ParkingRegion %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist der agent von ** Object %n{nicht} %n{nicht}
(=>     (attribute ?M CoinOperated)     (hasPurpose ?M         (exists (?C ?FT ?A ?ACT)             (and                 (instance ?C CurrencyCoin)                 (instance ?FT FinancialTransaction)                 (destination ?FT ?M)                 (patient ?FT ?C)                 (origin ?FT ?A)                 (causes ?FT ?ACT)                 (wants ?A ?ACT)))))	Mid-level-ontology.kif 29462-29473	Wenn CoinOperated ist ein attribut von Object %n{nicht}, dann ** Object hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** ** entityCT um ** entity ist ein fall von CurrencyCoin %n{nicht} und ** ** entity ist ein fall von FinancialTransaction %n{nicht} und ** ** entity endet an ** Object %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity beginnet an ** ** entity %n{nicht} und ** ** entity verursacht ** ** entityCT %n{nicht} und ** ** entity wuenscht ** ** entityCT %n{nicht} %n{nicht}
(=>     (attribute ?O Translucent)     (modalAttribute         (exists (?EMIT ?S ?OBJ)             (and                 (instance ?EMIT RadiatingLight)                 (resource ?EMIT ?S)                 (destination ?EMIT ?OBJ)                 (between ?S ?O ?OBJ)                 (holdsDuring                     (WhenFn ?EMIT)                     (attribute ?OBJ Illuminated)))) Possibility))	Mid-level-ontology.kif 15151-15163	Wenn Translucent ist ein attribut von Object %n{nicht}, dann die Aussage es gibt entity, ** entity, and und ** ObjectBJ um ** entity ist ein fall von RadiatingLight %n{nicht} und ** ** entity ist ein hilfmittel fuer ** entity %n{nicht} und ** entity endet an ** ObjectBJ %n{nicht} und ** Object ist zwischen ** ** entity und ** ObjectBJ %n{nicht} und Illuminated ist ein attribut von ** ObjectBJ %n{nicht} haelt waehrend die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Possibility
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