(=>     (and         (instance ?LGP LargeGroupProcess)         (instance ?G Collection)         (member ?M ?G)         (involvedInEvent ?LGP ?M))     (exists (?P ?PC)         (and             (instance ?PC ?P)             (involvedInEvent ?PC ?M))))	Mid-level-ontology.kif 7948-7957	Wenn Process ist ein fall von LargeGroupProcess %n{nicht} und Collection ist ein fall von Collection %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht} und involvedInEvent ** Process and ** Physical, dann es gibt Class und ** ClassC um ** ClassC ist ein fall von ** Class %n{nicht} und involvedInEvent ** ClassC and ** Physical
(=>     (and         (instance ?M Meal)         (member ?H ?M)         (or             (instance ?H Coffee)             (instance ?H Tea))         (member ?J ?M)         (instance ?J Juice)         (member ?B ?M)         (instance ?B BreadOrBiscuit)         (member ?B ?M)         (instance ?B Butter)         (member ?JA ?M)         (instance ?JA Jam))     (attribute ?M ContinentalBreakfast))	Food.kif 1731-1746	Wenn Collection ist ein fall von Meal %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht} und ** Physical ist ein fall von Coffee %n{nicht} oder ** Physical ist ein fall von Tea %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** ** Physical ist ein fall von Juice %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** ** Physical ist ein fall von BreadOrBiscuit %n{nicht} und ** ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** ** Physical ist ein fall von Butter %n{nicht} und ** ** PhysicalA ist ein Mitglied von ** Collection %n{nicht} und ** ** PhysicalA ist ein fall von Jam %n{nicht}, dann ContinentalBreakfast ist ein attribut von ** Collection %n{nicht}
(=>     (and         (instance ?M ShoppingMall)         (member ?S ?M))     (instance ?S RetailStore))	Mid-level-ontology.kif 7794-7798	Wenn Collection ist ein fall von ShoppingMall %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von RetailStore %n{nicht}
(=>     (and         (instance ?MC MilitaryConvoy)         (member ?X ?MC))     (instance ?X MilitaryVehicle))	Military.kif 102-106	Wenn Collection ist ein fall von MilitaryConvoy %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von MilitaryVehicle %n{nicht}
(=>     (and         (instance ?MIT BarMitzvah)         (patient ?MIT ?X)         (instance ?X Boy)         (member ?X ?GROUP)         (instance ?GROUP Judaism)         (birthdate ?X ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?Y13 ?BD13)         (and             (instance ?Y13 Integer)             (equal ?Y13                 (AdditionFn ?Y 13))             (instance ?BD13                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y13))))             (equal                 (WhenFn ?MIT)                 (ImmediateFutureFn ?BD13)))))	Biography.kif 69-85	Wenn Process ist ein fall von BarMitzvah %n{nicht} und Human ist ein patient von ** Process %n{nicht} und ** Human ist ein fall von Boy %n{nicht} und ** Human ist ein Mitglied von Collection %n{nicht} und ** Collection ist ein fall von Judaism %n{nicht} und birthdate ** Human and Day und ** Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um ** Integer ist ein fall von Integer %n{nicht} und ** Integer ist gleich (** Integer und 13) %n{nicht} und ** TimePosition ist ein fall von der tag ** PositiveInteger %n{nicht} und die zeit des Bestehens von ** Process ist gleich sofort nach ** TimePosition %n{nicht}
(=>     (and         (instance ?MIT BatMitzvah)         (patient ?MIT ?X)         (instance ?X Girl)         (member ?X ?GROUP)         (instance ?GROUP Judaism)         (birthdate ?X ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?Y13 ?BD13)         (and             (instance ?Y13 Integer)             (equal ?Y13                 (AdditionFn ?Y 13))             (instance ?BD13                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?Y13))))             (equal                 (WhenFn ?MIT)                 (ImmediateFutureFn ?BD13)))))	Biography.kif 99-115	Wenn Process ist ein fall von BatMitzvah %n{nicht} und Human ist ein patient von ** Process %n{nicht} und ** Human ist ein fall von Girl %n{nicht} und ** Human ist ein Mitglied von Collection %n{nicht} und ** Collection ist ein fall von Judaism %n{nicht} und birthdate ** Human and Day und ** Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um ** Integer ist ein fall von Integer %n{nicht} und ** Integer ist gleich (** Integer und 13) %n{nicht} und ** TimePosition ist ein fall von der tag ** PositiveInteger %n{nicht} und die zeit des Bestehens von ** Process ist gleich sofort nach ** TimePosition %n{nicht}
(=>     (and         (instance ?MUSIC MakingVocalMusic)         (agent ?MUSIC ?GROUP)         (instance ?GROUP Choir)         (holdsDuring ?MUSIC             (member ?MEM ?GROUP)))     (exists (?SING)         (and             (instance ?SING Singing)             (subProcess ?SING ?MUSIC)             (agent ?SING ?MEM))))	Media.kif 1807-1817	Wenn Process ist ein fall von MakingVocalMusic %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von Choir %n{nicht} und ** AutonomousAgent ist ein Mitglied von ** AutonomousAgent %n{nicht} haelt waehrend ** Process %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Singing %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?ORD Ordaining)         (patient ?ORD ?X)         (instance ?X Human)         (member ?X Christianity))     (hasPurpose ?ORD         (exists (?CER ?A)             (and                 (instance ?CER Ceremony)                 (instance ?A Appointing)                 (subProcess ?A ?CER)                 (patient ?A ?X)                 (appointedPosition ?A ?X Cleric)))))	Biography.kif 156-169	Wenn Process ist ein fall von Ordaining %n{nicht} und Physical ist ein patient von ** Process %n{nicht} und ** Physical ist ein fall von Human %n{nicht} und ** Physical ist ein Mitglied von Christianity %n{nicht}, dann ** Process hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Ceremony %n{nicht} und ** ** entity ist ein fall von Appointing %n{nicht} und ** ** entity ist ein subProzess von ** entity und ** Physical ist ein patient von ** ** entity %n{nicht} und appointedPosition ** ** entity, ** Physical and Cleric %n{nicht}
(=>     (and         (instance ?ORG MilitaryOrganization)         (holdsDuring ?T1             (member ?X ?ORG))         (instance ?X Human))     (holdsDuring ?T1         (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 22469-22474	Wenn Entity ist ein fall von MilitaryOrganization %n{nicht} und ** Entity ist ein Mitglied von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} und ** ** Entity ist ein fall von Human %n{nicht}, dann MilitaryPerson ist ein attribut von ** ** Entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (instance ?ORG Organization)         (member ?AGENT ?ORG))     (instance ?AGENT AutonomousAgent))	Merge.kif 16653-16657	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 ?ORG OrganizationOfNations)         (member ?MEM ?ORG))     (instance ?MEM Nation))	Government.kif 2531-2535	Wenn Collection ist ein fall von OrganizationOfNations %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von Nation %n{nicht}
(=>     (and         (instance ?P CommunistParty)         (member ?M ?P)         (instance ?A GeopoliticalArea))     (desires ?M         (governmentType ?A CommunistState)))	Government.kif 2263-2269	Wenn Collection ist ein fall von CommunistParty %n{nicht} und CognitiveAgent ist ein Mitglied von ** Collection %n{nicht} und Entity ist ein fall von GeopoliticalArea %n{nicht}, dann ** CognitiveAgent wuenscht governmentType ** Entity and CommunistState %n{nicht}
(=>     (and         (instance ?PROFILE VisitorProfile)         (member ?FORMULA ?PROFILE))     (instance ?FORMULA Formula))	UXExperimentalTerms.kif 1134-1138	Wenn Collection ist ein fall von VisitorProfile %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von Formula %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 ?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 ?SELLINGS Collection)         (instance ?GMV CurrencyMeasure)         (instance ?TOTAL RealNumber)         (equal ?GMV             (GMVFn ?SELLINGS))         (equal ?TOTAL             (CardinalityFn                 (KappaFn ?ITEM                     (and                         (instance ?ITEM Object)                         (exists (?SELLING)                             (and                                 (member ?SELLING ?SELLINGS)                                 (patient ?SELLING ?ITEM))))))))     (equal         (ASPFn ?SELLINGS)         (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3282-3302	Wenn Collection ist ein fall von Collection %n{nicht} und RealNumber ist ein fall von CurrencyMeasure %n{nicht} und Integer ist ein fall von RealNumber %n{nicht} und ** RealNumber ist gleich GMVFn ** Collection %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}, dann ASPFn ** Collection ist gleich ** RealNumber und ** Integer %n{nicht}
(=>     (and         (instance ?SHIP Ship)         (instance ?AREA GeopoliticalArea)         (member ?SHIP             (MerchantMarineFn ?AREA)))     (exists (?REGISTRATION)         (and             (instance ?REGISTRATION ShipRegistration)             (possesses ?SHIP ?REGISTRATION)             (subsumesContentInstance                 (ShipRegisterFn ?AREA) ?REGISTRATION))))	Transportation.kif 1157-1166	Wenn AutonomousAgent ist ein fall von Ship %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und ** AutonomousAgent ist ein Mitglied von MerchantMarineFn ** GeopoliticalArea %n{nicht}, dann es gibt Object um ** Object ist ein fall von ShipRegistration %n{nicht} und ** AutonomousAgent besitzt ** Object %n{nicht} und ShipRegisterFn ** GeopoliticalArea fasst das Inhalt von ** Object zusammen
(=>     (and         (instance ?STORE WebStore)         (member ?PAGE ?STORE))     (instance ?PAGE WebPage))	UXExperimentalTerms.kif 2141-2145	Wenn Collection ist ein fall von WebStore %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von WebPage %n{nicht}
(=>     (and         (instance ?SUIT ClothingSuit)         (member ?ITEM1 ?SUIT)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?SUIT)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Mid-level-ontology.kif 5305-5313	Wenn Collection ist ein fall von ClothingSuit %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht} und wears entity and ** Physical haelt waehrend TimePosition %n{nicht}, dann fuer alle ** Physical wenn ** ** Physical ist ein Mitglied von ** Collection %n{nicht}, dann wears ** entity and ** ** Physical haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (instance ?TEST MultivariateTest)         (member ?EXPERIMENT ?TEST))     (instance ?EXPERIMENT Experimenting))	UXExperimentalTerms.kif 4495-4499	Wenn Collection ist ein fall von MultivariateTest %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** Physical ist ein fall von Experimenting %n{nicht}
(=>     (and         (instance ?TO TerroristOrganization)         (member ?PERSON ?TO))     (attribute ?PERSON Terrorist))	MilitaryProcesses.kif 2151-2155	Wenn Collection ist ein fall von TerroristOrganization %n{nicht} und Object ist ein Mitglied von ** Collection %n{nicht}, dann Terrorist ist ein attribut von ** Object %n{nicht}
(=>     (and         (instance ?UNIT SocialUnit)         (holdsDuring ?T1             (and                 (member ?UNIT ?H1)                 (member ?UNIT ?H2))))     (holdsDuring ?T1         (cohabitant ?H1 ?H2)))	Mid-level-ontology.kif 22997-23005	Wenn Entity ist ein fall von SocialUnit %n{nicht} und ** Entity ist ein Mitglied von ** entity %n{nicht} und ** Entity ist ein Mitglied von ** entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann cohabitant ** ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (instance ?UW UnconventionalWarfare)         (agent ?UW ?AGENT)         (not             (equal ?AGENT ?POPULACE))         (not             (equal ?AGENT                 (GovernmentFn ?NATION)))         (patient ?UW ?POPULACE)         (or             (member ?POPULACE                 (ResidentFn ?NATION))             (subCollection ?POPULACE                 (ResidentFn ?NATION))))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (agent ?CONTEST ?POPULACE)             (agent ?CONTEST                 (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-183	Wenn Process ist ein fall von UnconventionalWarfare %n{nicht} und ** Process ist der agent von Government %n{nicht} und ** Government ist gleich AutonomousAgent nicht und ** Government ist gleich GovernmentFn GeopoliticalArea nicht und ** AutonomousAgent ist ein patient von ** Process %n{nicht} und ** AutonomousAgent ist ein Mitglied von ResidentFn ** GeopoliticalArea %n{nicht} oder ** AutonomousAgent ist eine korrekte teilsammlung von ResidentFn ** GeopoliticalArea %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Contest %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist der agent von GovernmentFn ** GeopoliticalArea %n{nicht}
(=>     (and         (instance ?V Vertebrate)         (instance ?H Head)         (part ?H ?V)         (instance ?S Skull)         (attribute ?V Healthy)         (member ?B ?S)         (part ?B ?V))     (part ?B ?H))	Mid-level-ontology.kif 11498-11507	Wenn Object ist ein fall von Vertebrate %n{nicht} und ** Object ist ein fall von Head %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Collection ist ein fall von Skull %n{nicht} und Healthy ist ein attribut von ** Object %n{nicht} und ** Object ist ein Mitglied von ** Collection %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}, dann ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (and         (instance ?VISITOR Human)         (instance ?COLL Collection)         (forall (?EXPERIMENT ?EVENT)             (=>                 (exists (?CLASS)                     (and                         (instance ?EXPERIMENT Experimenting)                         (instance ?EVENT Process)                         (member ?EVENT                             (QualifyingEventsFn ?EXPERIMENT))                         (instance ?EVENT ?CLASS)                         (capability ?CLASS experiencer ?VISITOR)))                 (member ?EVENT ?COLL)))         (=>             (member ?PROC ?COLL)             (and                 (instance ?PROC Process)                 (exists (?EXP ?PROCESS)                     (and                         (instance ?EXP Experimenting)                         (member ?PROC                             (QualifyingEventsFn ?EXP))                         (instance ?PROC ?PROCESS)                         (capability ?PROCESS experiencer ?VISITOR))))))     (equal         (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4241-4267	Wenn Human ist ein fall von Human %n{nicht} und Collection ist ein fall von Collection %n{nicht} und fuer alle Experimenting und Physical wenn es gibt ** Process um ** Experimenting ist ein fall von Experimenting %n{nicht} und ** Physical ist ein fall von Process %n{nicht} und ** Physical ist ein Mitglied von QualifyingEventsFn ** Experimenting %n{nicht} und ** Physical ist ein fall von ** Process %n{nicht} und ** Human ist faehig %n{nicht}, in der Rolle experiencer ** ** Process zu tun, dann ** Physical ist ein Mitglied von ** Collection %n{nicht} und wenn ** Physical ist ein Mitglied von ** Collection %n{nicht}, dann ** ** Physical ist ein fall von Process %n{nicht} und es gibt ** Experimenting und ** ** PhysicalESS um ** ** Experimenting ist ein fall von Experimenting %n{nicht} und ** ** Physical ist ein Mitglied von QualifyingEventsFn ** ** Experimenting %n{nicht} und ** ** Physical ist ein fall von ** ** PhysicalESS %n{nicht} und ** Human ist faehig %n{nicht}, in der Rolle experiencer ** ** PhysicalESS zu tun , dann QualifiedTreatmentsFn ** Human ist gleich ** Collection %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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