AutonomousAgent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AutonomousAgent ChineseLanguage "能够自主行动、并对世界作出改变的人和物。")	chinese_format.kif 1683-1683
(documentation AutonomousAgent EnglishLanguage "Something or someone that can act on its own and produce changes in the world.")	Merge.kif 1558-1559
(subclass AutonomousAgent Object)	Merge.kif 1556-1556	AutonomousAgent ist eine teilkategorie von Object

appearance as argument number 2

(disjoint Furniture AutonomousAgent)	Mid-level-ontology.kif 3714-3714	Furniture ist dijunkt von AutonomousAgent %n{nicht}
(range StreetAddressFn AutonomousAgent)	Mid-level-ontology.kif 6711-6711	bildbereich von StreetAddressFn ist ein fall von AutonomousAgent {nicht}
(subclass CommercialAgent AutonomousAgent)	Merge.kif 16173-16173	CommercialAgent ist eine teilkategorie von AutonomousAgent
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14054-14054	GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	Group ist eine teilkategorie von AutonomousAgent
(subclass ITAgent AutonomousAgent)	engineering.kif 1306-1306	ITAgent ist eine teilkategorie von AutonomousAgent
(subclass Organism AutonomousAgent)	Merge.kif 14355-14355	Organism ist eine teilkategorie von AutonomousAgent
(subclass Organization AutonomousAgent)	Merge.kif 16610-16610	Organization ist eine teilkategorie von AutonomousAgent
(subclass SentientAgent AutonomousAgent)	Merge.kif 1566-1566	SentientAgent ist eine teilkategorie von AutonomousAgent
(termFormat ChineseLanguage AutonomousAgent "施事体")	chinese_format.kif 848-848
(termFormat EnglishLanguage AutonomousAgent " Autonomous agent")	domainEnglishFormat.kif 64496-64496
(termFormat EnglishLanguage AutonomousAgent "agent")	english_format.kif 898-898

appearance as argument number 3

(domain AbortedFn 1 AutonomousAgent)	MilitaryProcesses.kif 2411-2411	Die Zahl 1 Argument von AbortedFn ist ein fall von AutonomousAgent %n{nicht}
(domain ElectionFn 1 AutonomousAgent)	Government.kif 1685-1685	Die Zahl 1 Argument von ElectionFn ist ein fall von AutonomousAgent %n{nicht}
(domain ExecutiveBranchFn 1 AutonomousAgent)	Government.kif 1321-1321	Die Zahl 1 Argument von ExecutiveBranchFn ist ein fall von AutonomousAgent %n{nicht}
(domain FiscalYearFn 1 AutonomousAgent)	Economy.kif 3697-3697	Die Zahl 1 Argument von FiscalYearFn ist ein fall von AutonomousAgent %n{nicht}
(domain FiscalYearStartingFn 1 AutonomousAgent)	Economy.kif 3723-3723	Die Zahl 1 Argument von FiscalYearStartingFn ist ein fall von AutonomousAgent %n{nicht}
(domain PropertyFn 1 AutonomousAgent)	Merge.kif 4274-4274	Die Zahl 1 Argument von EigentumFn ist ein fall von AutonomousAgent %n{nicht}
(domain SellersItemsFn 1 AutonomousAgent)	UXExperimentalTerms.kif 981-981	Die Zahl 1 Argument von SellersItemsFn ist ein fall von AutonomousAgent %n{nicht}
(domain SellersOtherItemsFn 1 AutonomousAgent)	UXExperimentalTerms.kif 1016-1016	Die Zahl 1 Argument von SellersOtherItemsFn ist ein fall von AutonomousAgent %n{nicht}
(domain WealthFn 1 AutonomousAgent)	Merge.kif 7792-7792	Die Zahl 1 Argument von WealthFn ist ein fall von AutonomousAgent %n{nicht}
(domain achievement 2 AutonomousAgent)	ComputingBrands.kif 1660-1660	Die Zahl 2 Argument von achievement ist ein fall von AutonomousAgent %n{nicht}
(domain activityCapability 1 AutonomousAgent)	Hotel.kif 596-596	Die Zahl 1 Argument von activityCapability ist ein fall von AutonomousAgent %n{nicht}
(domain agent 2 AutonomousAgent)	Merge.kif 2434-2434	Die Zahl 2 Argument von agent ist ein fall von AutonomousAgent %n{nicht}
(domain agentName 2 AutonomousAgent)	Media.kif 3423-3423	Die Zahl 2 Argument von agentName ist ein fall von AutonomousAgent %n{nicht}
(domain agentOperatesInArea 1 AutonomousAgent)	Government.kif 2235-2235	Die Zahl 1 Argument von agentOperatesInArea ist ein fall von AutonomousAgent %n{nicht}
(domain alias 2 AutonomousAgent)	Mid-level-ontology.kif 23208-23208	Die Zahl 2 Argument von alias ist ein fall von AutonomousAgent %n{nicht}
(domain appointedPosition 2 AutonomousAgent)	Biography.kif 150-150	Die Zahl 2 Argument von appointedPosition ist ein fall von AutonomousAgent %n{nicht}
(domain areaOfResponsibility 1 AutonomousAgent)	Mid-level-ontology.kif 22928-22928	Die Zahl 1 Argument von areaOfResponsibility ist ein fall von AutonomousAgent %n{nicht}
(domain arrested 2 AutonomousAgent)	Mid-level-ontology.kif 23479-23479	Die Zahl 2 Argument von arrested ist ein fall von AutonomousAgent %n{nicht}
(domain askPrice 3 AutonomousAgent)	FinancialOntology.kif 1928-1928	Die Zahl 3 Argument von askPrice ist ein fall von AutonomousAgent %n{nicht}
(domain associateInOrganization 1 AutonomousAgent)	Government.kif 2424-2424	Die Zahl 1 Argument von associateInOrganization ist ein fall von AutonomousAgent %n{nicht}
(domain associateWithStatus 1 AutonomousAgent)	Government.kif 2435-2435	Die Zahl 1 Argument von associateWithStatus ist ein fall von AutonomousAgent %n{nicht}
(domain attitudeForFormula 2 AutonomousAgent)	emotion.kif 2126-2126	Die Zahl 2 Argument von attitudeForFormula ist ein fall von AutonomousAgent %n{nicht}
(domain attitudeForObject 2 AutonomousAgent)	emotion.kif 2119-2119	Die Zahl 2 Argument von attitudeForObject ist ein fall von AutonomousAgent %n{nicht}
(domain authors 1 AutonomousAgent)	Merge.kif 15456-15456	Die Zahl 1 Argument von authors ist ein fall von AutonomousAgent %n{nicht}
(domain benefits 2 AutonomousAgent)	Mid-level-ontology.kif 22913-22913	Die Zahl 2 Argument von benefits ist ein fall von AutonomousAgent %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG))	Government.kif 1774-1779	Wenn MemberFn Organization ist ein attribut von Object %n{nicht} und Object ist ein fall von AutonomousAgent %n{nicht} und Organization ist ein fall von Organization %n{nicht}, dann Object ist ein Mitglied von Organization %n{nicht}
(=> (and (instance ?A AutonomousAgent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30242-30253	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Motionless ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend ** TimeInterval %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ELECTION (ElectionFn ?AGENT))) (agent ?ELECTION ?AGENT))	Government.kif 1700-1704	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von ElectionFn AutonomousAgent %n{nicht}, dann Process ist der agent von ** AutonomousAgent %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1767-1772	Wenn Object ist ein fall von AutonomousAgent %n{nicht} und Organization ist ein fall von Organization %n{nicht} und Object ist ein Mitglied von Organization %n{nicht}, dann MemberFn Organization ist ein attribut von Object %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL))))	UXExperimentalTerms.kif 992-1008	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und fuer alle WebListing wenn WebListing ist ein fall von WebListing %n{nicht} und hostedOn WebListing and WebSite und listingSeller WebListing and AutonomousAgent, dann WebListing ist ein Mitglied von Collection %n{nicht} und SellersItemsFn AutonomousAgent and WebSite ist gleich ** Collection %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	Dining.kif 772-795	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und potentialCustomer CognitiveAgent and AutonomousAgent und die Aussage entity ist ein fall von Reserving %n{nicht} und entity endet an AutonomousAgent %n{nicht} hat die modale Kraft von Necessity und Gesetzt den Fall, dass customer CognitiveAgent and AutonomousAgent gilt, ist die wahrscheinlichkeit von es gibt entityES1 um entityES1 ist ein fall von Reservation %n{nicht} und reservingEntity CognitiveAgent and entityES1 und fulfillingEntity AutonomousAgent and entityES1 RealNumber und Gesetzt den Fall, dass customer CognitiveAgent and AutonomousAgent gilt, ist die wahrscheinlichkeit von es gibt nicht entityES2 um entityES2 ist ein fall von Reservation %n{nicht} und reservingEntity CognitiveAgent and entityES2 und fulfillingEntity AutonomousAgent and entityES2 RealNumber, dann RealNumber ist kleinerAls ** RealNumber %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1692-1698	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ElectionFn AutonomousAgent ist eine teilkategorie von Election, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder ** AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (and (instance ?ATC AddToCart) (instance ?USER AutonomousAgent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1312-1324	Wenn Process ist ein fall von AddToCart %n{nicht} und CognitiveAgent ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein fall von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Buying %n{nicht} und Entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} %n{nicht}
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 AutonomousAgent) (instance ?BIDDER2 AutonomousAgent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1))	UXExperimentalTerms.kif 354-365	Wenn Process ist ein fall von Auctioning %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Object ist ein fall von Object %n{nicht} und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und Object ist ein patient von Process %n{nicht} und bidPrice Object, RealNumber UnitOfMeasure(s) and AutonomousAgent und bidPrice Object, RealNumber UnitOfMeasure(s) and AutonomousAgent und RealNumber ist groesserAls RealNumber %n{nicht}, dann Process endet an AutonomousAgent %n{nicht}
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))))	Merge.kif 11656-11666	Wenn Process ist ein fall von ChangeOfPossession %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Object ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Object besitzt Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity besitzt Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1033-1060	Wenn Collection ist ein fall von Collection %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebListing ist ein fall von WebListing %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und listingSeller WebListing and AutonomousAgent und WebListing ist ein Mitglied von Collection nicht und fuer alle Physical und Physical wenn Physical ist ein fall von WebListing %n{nicht} und Physical ist ein Mitglied von SellersItemsFn AutonomousAgent and WebSite %n{nicht} und TimePoint ist ein teil von die zeit des Bestehens von Physical %n{nicht} und Physical ist gleich WebListing nicht, dann Physical ist ein Mitglied von Collection %n{nicht} und wenn Physical ist ein Mitglied von Collection %n{nicht}, dann TimePoint ist ein teil von die zeit des Bestehens von Physical %n{nicht} und Physical ist ein fall von WebListing %n{nicht} , dann SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and TimePoint ist gleich ** Collection %n{nicht}
(=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4357-4374	Wenn Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und exclusiveEvent Experimenting and Process, dann es gibt ExperimentingERIMENTER um ExperimentingERIMENTER ist ein fall von AutonomousAgent %n{nicht} und experimenter Experimenting and ExperimentingERIMENTER und ExperimentingERIMENTER glaubt %n{nicht}, dass die Aussage Process verursacht ** Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 AutonomousAgent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ))))	Merge.kif 11673-11685	Wenn Process ist ein fall von Giving %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Getting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human))	UXExperimentalTerms.kif 381-388	Wenn Object ist ein fall von Object %n{nicht} und Object ist ein fall von WebListing %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ForSaleByOwner ist ein attribut von Object %n{nicht} und AutonomousAgent besitzt Object %n{nicht}, dann AutonomousAgent ist ein fall von Human %n{nicht}
(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG))	Government.kif 2501-2508	Wenn Process ist ein fall von JoiningAnOrganization %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Collection ist ein patient von Process %n{nicht} und Process ist ein fall von Organization %n{nicht}, dann AutonomousAgent ist ein Mitglied von Collection %n{nicht}
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 313-325	Wenn Object ist ein fall von WebListing %n{nicht} und Process ist ein fall von Object %n{nicht} und CognitiveAgent ist ein fall von AutonomousAgent %n{nicht} und AuctionAttribute ist ein attribut von Object %n{nicht} und Object ist ein patient von Process %n{nicht} und creator CognitiveAgent and Object, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Auctioning %n{nicht} und Process ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1447-1453	Wenn Organization ist ein fall von AutonomousAgent %n{nicht} und leader Organization and Human und Position ist ein fall von Position %n{nicht} und Human besetzt die position von Position in Organization, dann leaderPosition Organization and Position
(=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W)))))	ComputerInput.kif 2830-2844	Wenn CorpuscularObject ist ein fall von DigitalPost %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und CorpuscularObject ist ein bestandteil von WebSite %n{nicht} und creator AutonomousAgent and CorpuscularObject und registeredUser AutonomousAgent and WebSite, dann CorpuscularObject hat Zweck von es gibt entity um entity ist ein fall von Disseminating %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und CorpuscularObject ist ein patient von entity %n{nicht} und WebSite ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1478-1485	Wenn Human ist ein fall von Human %n{nicht} und Position ist ein fall von Position %n{nicht} und Organization ist ein fall von AutonomousAgent %n{nicht} und leaderPosition Organization and Position und Human besetzt die position von Position in Organization, dann leader Organization and ** Human
(=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE)))	Economy.kif 3738-3742	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Year ist eine teilkategorie von Year, dann FiscalYearStartingFn AutonomousAgent and Year ist ein fall von FiscalYearFn AutonomousAgent %n{nicht}
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	Wenn TimeInterval ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval_CLASS ist eine teilkategorie von Process und AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und AccessingWebPage ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend AccessingWebPage %n{nicht} und Physical ist ein fall von TimeInterval %n{nicht} und es gibt nicht TimeInterval2 um TimeInterval2 ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval2 ist der agent von AutonomousAgent %n{nicht} und TimeInterval2 geschieht waehrend AccessingWebPage %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval2 geschieht vor der anfang von die zeit des Bestehens von TimeInterval %n{nicht} und der anfang von die zeit des Bestehens von AccessingWebPage ist gleich der anfang von die zeit des Bestehens von Physical %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval ist gleich das ende von die zeit des Bestehens von Physical %n{nicht}, dann TTFxFn TimeInterval_CLASS and AccessingWebPage ist gleich Physical %n{nicht}
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 2956-2983	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Buying %n{nicht} und es gibt Object um Object ist ein fall von GeopoliticalArea %n{nicht} und fuer alle AutonomousAgent und Process wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent befindet sich an %n{nicht} , dann es gibt SymbolicString, entity, and und entity_PURCHASE_AMOUNT um total die kategorie die SymbolicString beschreibt and entity_PURCHASE_AMOUNT und GMBFn Collection ist gleich entity_PURCHASE_AMOUNT %n{nicht}
(=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT AutonomousAgent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING))	UXExperimentalTerms.kif 1570-1581	Wenn Process ist ein fall von ViewItemRequest %n{nicht} und Process ist ein fall von AccessingWebPage %n{nicht} und CorpuscularObject ist ein fall von ViewItemPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebListing ist ein fall von Advertising %n{nicht} und Process ist ein subProzess von Process und CorpuscularObject ist ein bestandteil von WebListing %n{nicht} und Process endet an CorpuscularObject %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann viewedListing AutonomousAgent and WebListing
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))	UXExperimentalTerms.kif 2999-3026	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Selling %n{nicht} und es gibt Object um Object ist ein fall von GeopoliticalArea %n{nicht} und fuer alle AutonomousAgent und Process wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent befindet sich an %n{nicht} , dann es gibt SymbolicString, entity, and und entity_SALE_AMOUNT um total die kategorie die SymbolicString beschreibt and entity_SALE_AMOUNT und GMVFn Collection ist gleich entity_SALE_AMOUNT %n{nicht}
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 3851-3862	Wenn Process ist ein fall von Process %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und experimentalVariableProcess Experimenting and Process, dann es gibt entity_GROUP um entity_GROUP ist ein fall von Collection %n{nicht} und Process ist ein Mitglied von entity_GROUP %n{nicht} und controlGroup entity_GROUP and ** Experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 AutonomousAgent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 30223-30236	Alone ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht Entity2 und Process um Entity ist gleich Entity2 nicht und Entity2 ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von SocialInteraction %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und involvedInEvent Process and Entity und involvedInEvent Process and ** Entity2
(=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER AutonomousAgent) (possesses ?SITE_OWNER ?SITE) (possesses ?SITE_OWNER ?DATABASE) (part ?ACCT ?DATABASE))))	UXExperimentalTerms.kif 632-640	Wenn accountAtSite UserAccount and WebSite, dann es gibt Object und WebSite_OWNER um Object ist ein fall von Database %n{nicht} und WebSite_OWNER ist ein fall von AutonomousAgent %n{nicht} und WebSite_OWNER besitzt WebSite %n{nicht} und WebSite_OWNER besitzt Object %n{nicht} und UserAccount ist ein teil von ** Object %n{nicht}
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3528-3532	Wenn firstTimeBuyers TimeInterval, WebSite and Collection und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AutonomousAgent %n{nicht}
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3576-3580	Wenn firstTimeSellers TimeInterval, WebSite and Collection und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AutonomousAgent %n{nicht}
(=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER AutonomousAgent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER))))	UXExperimentalTerms.kif 343-352	Wenn Process ist ein fall von Auctioning %n{nicht} und Object ist ein fall von Object %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt AutonomousAgent und CurrencyMeasure um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und CurrencyMeasure ist ein fall von CurrencyMeasure %n{nicht} und bidPrice Object, CurrencyMeasure and ** AutonomousAgent
(=> (and (instance ?CAPTURE Capturing) (controlled ?CAPTURE ?OBJ)) (instance ?OBJ AutonomousAgent))	Mid-level-ontology.kif 23458-23462	Wenn AchievingControl ist ein fall von Capturing %n{nicht} und controlled AchievingControl and Object, dann Object ist ein fall von AutonomousAgent %n{nicht}
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 15887-15900	Wenn Process ist ein fall von Commenting %n{nicht} und Entity ist ein fall von Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt AutonomousAgent, Process, and und Process um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von Speaking %n{nicht} und Process ist ein fall von Looking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf ** Entity
(=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4357-4374	Wenn Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und exclusiveEvent Experimenting and Process, dann es gibt ExperimentingERIMENTER um ExperimentingERIMENTER ist ein fall von AutonomousAgent %n{nicht} und experimenter Experimenting and ExperimentingERIMENTER und ExperimentingERIMENTER glaubt %n{nicht}, dass die Aussage Process verursacht ** Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB AutonomousAgent))	Merge.kif 16228-16232	Wenn Collection ist ein fall von Group %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AutonomousAgent %n{nicht}
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT AutonomousAgent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3376-3408	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht} und WebSite ist ein fall von WebSite %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und fuer alle AutonomousAgent wenn AutonomousAgent ist ein Mitglied von Collection %n{nicht}, dann es gibt TimeInterval um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Buying %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer TimeInterval %n{nicht} und TimeInterval geschieht waehrend TimeInterval %n{nicht} und es gibt nicht TimeInterval_BEFORE um TimeInterval_BEFORE ist ein fall von TimeInterval %n{nicht} und TimeInterval_BEFORE geschieht frueh als TimeInterval %n{nicht} und es gibt TimeInterval_BEFORE um TimeInterval_BEFORE ist ein fall von Buying %n{nicht} und TimeInterval_BEFORE ist der agent von AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer TimeInterval_BEFORE %n{nicht} und TimeInterval_BEFORE geschieht waehrend TimeInterval %n{nicht} haelt waehrend TimeInterval_BEFORE %n{nicht} und SiteWideNewBuyersFn TimeInterval and WebSite ist gleich ** Collection %n{nicht}
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT AutonomousAgent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3475-3507	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht} und WebSite ist ein fall von WebSite %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und fuer alle AutonomousAgent wenn AutonomousAgent ist ein Mitglied von Collection %n{nicht}, dann es gibt TimeInterval um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Selling %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer TimeInterval %n{nicht} und TimeInterval geschieht waehrend TimeInterval %n{nicht} und es gibt nicht TimeInterval_BEFORE um TimeInterval_BEFORE ist ein fall von TimeInterval %n{nicht} und TimeInterval_BEFORE geschieht frueh als TimeInterval %n{nicht} und es gibt TimeInterval_BEFORE um TimeInterval_BEFORE ist ein fall von Selling %n{nicht} und TimeInterval_BEFORE ist der agent von AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer TimeInterval_BEFORE %n{nicht} und TimeInterval_BEFORE geschieht waehrend TimeInterval %n{nicht} haelt waehrend TimeInterval_BEFORE %n{nicht} und SiteWideNewSellersFn TimeInterval and WebSite ist gleich ** Collection %n{nicht}
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product)))	Media.kif 895-901	Wenn Entity ist ein fall von Logo %n{nicht} und Entity drueckt Entity aus, dann Entity ist ein fall von AutonomousAgent %n{nicht} oder Entity ist ein fall von Product %n{nicht}
(=> (and (instance ?ORG Organization) (member ?AGENT ?ORG)) (instance ?AGENT AutonomousAgent))	Merge.kif 16631-16635	Wenn Collection ist ein fall von Organization %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AutonomousAgent %n{nicht}
(=> (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT)) (exists (?AGENT ?OBJ) (and (instance ?AGENT AutonomousAgent) (patient ?SEARCHATTEMPT ?OBJ) (agent ?SEARCHATTEMPT ?AGENT))))	UXExperimentalTerms.kif 2426-2435	Wenn Entity ist ein fall von SearchQuery %n{nicht} und Process ist ein fall von SearchAttempt %n{nicht} und Entity drueckt Process aus, dann es gibt AutonomousAgent und Entity um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}
(=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (agent ?TRANS ?BUYER) (origin ?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 1841-1858	Wenn Object ist ein fall von Buying %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 Object, AutonomousAgent,, , AutonomousAgent_LOCATION, and und Object_LOCATION um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Object ist ein fall von AutonomousAgent %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object beginnet an Object %n{nicht} und AutonomousAgent_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und Object_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und AutonomousAgent_LOCATION ist gleich Object_LOCATION 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 (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3623-3627	Wenn newRegisteredUsers TimeInterval, WebSite and Collection und Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AutonomousAgent %n{nicht}
(=> (and (subjectiveAttribute ?OBJ ?ATTR ?AGENT) (instance ?ATTR TimeAttribute)) (instance ?OBJ AutonomousAgent))	Dining.kif 1026-1030	Wenn subjectiveAttribute Entity, Attribute and AutonomousAgent und Attribute ist ein fall von TimeAttribute %n{nicht}, dann Entity ist ein fall von AutonomousAgent %n{nicht}
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	Wenn OpenLayout ist ein attribut von Object %n{nicht}, dann Object ist ein fall von Room %n{nicht} und es gibt Object, Object, and und Object um Object ist ein fall von Region %n{nicht} und Object ist ein fall von Region %n{nicht} und Object befindet sich an %n{nicht} und Object befindet sich an %n{nicht} und Object ist gleich Object nicht und Object ist Adjacent hinsichlich Object %n{nicht} und es gibt Formula und Formula um Formula ist ein fall von Process %n{nicht} und Formula ist ein fall von Process %n{nicht} und Object hat Zweck von Formula %n{nicht} und Object hat Zweck von Formula %n{nicht} und wenn Object ist ein fall von AutonomousAgent %n{nicht} und Object befindet sich an %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle agent Seeing zu tun und ** Object ist faehig %n{nicht}, in der Rolle patient Seeing zu tun
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 736-748	Wenn browserID Identifier, WebBrowser and WebSite, dann es gibt SymbolicString, Process,, , AutonomousAgent, and und ComputerProcess um SymbolicString ist ein fall von WebPage %n{nicht} und subString SymbolicString and WebSite und Process ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und programRunning ComputerProcess and WebBrowser und ComputerProcess verursacht Process %n{nicht} und Process endet an SymbolicString %n{nicht} und Identifier drueckt ** AutonomousAgent aus
(=> (colocatedAgent ?ORG ?ATTR) (exists (?ORG2 ?LOC) (and (instance ?ORG2 AutonomousAgent) (attribute ?ORG2 ?ATTR) (located ?ORG ?LOC) (located ?ORG2 ?LOC))))	Hotel.kif 766-773	Wenn colocatedAgent AutonomousAgent and RelationalAttribute, dann es gibt AutonomousAgent2 und Object um AutonomousAgent2 ist ein fall von AutonomousAgent %n{nicht} und RelationalAttribute ist ein attribut von AutonomousAgent2 %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und ** AutonomousAgent2 befindet sich an %n{nicht}
(=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4345-4355	Wenn exclusiveEvent Experimenting and Process, dann es gibt Process und Human um Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: