(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1003-1014	Wenn Suite ist ein attribut von Object %n{nicht} und ** Object ist ein fall von HotelUnit %n{nicht}, dann es gibt ** Object und ** Object um ** ** Object ist ein fall von HotelRoom %n{nicht} und ** ** Object ist ein fall von HotelRoom %n{nicht} und ** ** Object ist Inside hinsichlich ** Object %n{nicht} und ** ** Object ist Inside hinsichlich ** Object %n{nicht} und ** ** Object ist gleich ** ** Object nicht
(=>     (and         (attribute ?X TravelerAccommodation)         (capability RoomCleaningService agent ?X))     (exists (?MAID ?HOTELROOM)         (and             (employs ?X ?MAID)             (attribute ?MAID Maid)             (instance ?HOTELROOM HotelUnit)             (part ?HOTELROOM                 (PropertyFn ?X))             (capability RoomCleaningService patient ?HOTELROOM)             (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1935-1946	Wenn TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und ** AutonomousAgent ist faehig %n{nicht}, in der Rolle agent RoomCleaningService zu tun, dann es gibt CognitiveAgent und Object um ** AutonomousAgent beschaeftigt ** CognitiveAgent %n{nicht} und Maid ist ein attribut von ** CognitiveAgent %n{nicht} und ** Object ist ein fall von HotelUnit %n{nicht} und ** Object ist ein teil von eigentum von ** AutonomousAgent %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle patient RoomCleaningService zu tun und ** CognitiveAgent ist faehig %n{nicht}, in der Rolle serviceProvider RoomCleaningService zu tun
(=>     (and         (attribute ?X TravelerAccommodation)         (element ?CASINO             (PropertyFn ?X))         (instance ?CASINO Casino))     (attribute ?X CasinoHotels))	Hotel.kif 1452-1457	Wenn TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein element von eigentum von ** AutonomousAgent %n{nicht} und ** Entity ist ein fall von Casino %n{nicht}, dann CasinoHotels ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (attribute ?X Waiter)         (instance ?X Human)         (employs ?REST ?X)         (instance ?REST Restaurant)         (customer ?CUST ?REST)         (located ?CUST ?TABLE)         (instance ?TABLE Table))     (exists (?DINING ?C ?FOOD ?KITCHEN)         (and             (possesses ?REST ?KITCHEN)             (instance ?KITCHEN KitchenArea)             (instance ?DINING DiningArea)             (located ?TABLE ?DINING)             (hasPurpose ?X                 (and                     (instance ?C Carrying)                     (agent ?C ?X)                     (origin ?C ?KITCHEN)                     (destination ?C ?TABLE)                     (patient ?C ?FOOD)                     (instance ?FOOD                         (FoodForFn Human)))))))	Mid-level-ontology.kif 20600-20622	Wenn Waiter ist ein attribut von CognitiveAgent %n{nicht} und ** CognitiveAgent ist ein fall von Human %n{nicht} und AutonomousAgent beschaeftigt ** CognitiveAgent %n{nicht} und ** AutonomousAgent ist ein fall von Restaurant %n{nicht} und customer ** CognitiveAgent and ** AutonomousAgent und ** ** CognitiveAgent befindet sich an %n{nicht} und Object ist ein fall von Table %n{nicht}, dann es gibt ** Object, entity,, , ** entity, and und ** Object um ** AutonomousAgent besitzt ** ** Object %n{nicht} und ** ** Object ist ein fall von KitchenArea %n{nicht} und ** ** Object ist ein fall von DiningArea %n{nicht} und ** Object befindet sich an %n{nicht} und ** CognitiveAgent hat Zweck von ** entity ist ein fall von Carrying %n{nicht} und ** entity ist der agent von ** CognitiveAgent %n{nicht} und ** entity beginnet an ** ** Object %n{nicht} und ** entity endet an ** Object %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** ** entity ist ein fall von FoodForFn Human %n{nicht} %n{nicht}
(=>     (and         (attribute ?X WheelchairAccessible)         (or             (instance ?X Building)             (instance ?X Room)))     (modalAttribute         (exists (?MOTION ?WHEELCHAIR)             (and                 (instance ?MOTION Motion)                 (instrument ?MOTION ?WHEELCHAIR)                 (instance ?WHEELCHAIR Wheelchair)                 (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 26147-26159	Wenn WheelchairAccessible ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Building %n{nicht} oder ** Object ist ein fall von Room %n{nicht}, dann die Aussage es gibt entity und ** entity um ** entity ist ein fall von Motion %n{nicht} und ** ** entity ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein fall von Wheelchair %n{nicht} und eventLocated ** entity and ** Object hat die modale Kraft von Possibility
(=>     (and         (attribute ?X Writer)         (instance ?TEXT ?CLASS)         (or             (subclass ?CLASS Text)             (subclass ?CLASS Document))         (instance ?WRITE Writing)         (agent ?WRITE ?X)         (result ?WRITE ?TEXT))     (authors ?X ?CLASS))	Biography.kif 730-740	Wenn Writer ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein fall von ** ContentBearingObject %n{nicht} und ** ContentBearingObject ist eine teilkategorie von Text oder ** ** ContentBearingObject ist eine teilkategorie von Document und Process ist ein fall von Writing %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}, dann ** AutonomousAgent ist der schreiber von ** ** ContentBearingObject
(=>     (and         (before             (BeginFn ?INTERVAL2)             (BeginFn ?INTERVAL1))         (equal             (EndFn ?INTERVAL2)             (EndFn ?INTERVAL1)))     (finishes ?INTERVAL1 ?INTERVAL2))	Merge.kif 8108-8116	Wenn der anfang von TimeInterval geschieht vor der anfang von ** TimeInterval %n{nicht} und das ende von ** TimeInterval ist gleich das ende von ** ** TimeInterval %n{nicht}, dann ** ** TimeInterval beendet ** TimeInterval %n{nicht}
(=>     (and         (before ?POINT1 ?POINT2)         (before ?POINT2 ?POINT3))     (temporallyBetween ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8198-8202	Wenn TimePoint geschieht vor ** TimePoint %n{nicht} und ** ** TimePoint geschieht vor ** TimePoint %n{nicht}, dann ** ** TimePoint ist zwischen ** TimePoint und ** ** TimePoint
(=>     (and         (beforeOrEqual ?POINT1 ?POINT2)         (beforeOrEqual ?POINT2 ?POINT3))     (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8222-8226	Wenn TimePoint geschieht vor oder gleichzeitig mit ** TimePoint %n{nicht} und ** ** TimePoint geschieht vor oder gleichzeitig mit ** TimePoint %n{nicht}, dann ** ** TimePoint ist zwischen oder gleichzeitig mit ** TimePoint und ** ** TimePoint
(=>     (and         (betweenOnPath ?O1 ?O2 ?O3 ?PATH)         (instance ?T Transfer)         (path ?T ?PATH)         (origin ?T ?O1)         (destination ?T ?O3))     (and         (beforeOnPath ?O1 ?O2 ?PATH ?T)         (beforeOnPath ?O2 ?O3 ?PATH ?T)))	Mid-level-ontology.kif 29767-29776	Wenn betweenOnPath Object, ** Object, ** Object and ** Object und Transfer ist ein fall von Transfer %n{nicht} und ** ** Object ist der pfad entlang dem ** Transfer geschieht und ** Transfer beginnet an ** Object %n{nicht} und ** Transfer endet an ** ** Object %n{nicht}, dann beforeOnPath ** Object, ** ** Object, ** ** Object and ** Transfer und beforeOnPath ** ** Object, ** ** Object, ** ** Object and ** Transfer
(=>     (and         (biochemicalAgentDelivery ?AGENT ?PROCESS)         (subclass ?SUB ?PROCESS))     (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 789-793	Wenn biochemicalAgentDelivery ** BiochemicalAgent and ** Process und ** ** Process ist eine teilkategorie von ** Process, dann biochemicalAgentDelivery ** BiochemicalAgent and ** ** Process
(=>     (and         (biochemicalAgentSyndrome ?AGENT ?SYNDROME)         (diseaseSymptom ?SYNDROME ?SYMPTOM))     (biochemicalAgentSyndrome ?AGENT ?SYMPTOM))	WMD.kif 775-779	Wenn biochemicalAgentSyndrome ** BiochemicalAgent and DiseaseOrSyndrome und diseaseSymptom ** DiseaseOrSyndrome and ** DiseaseOrSyndrome, dann biochemicalAgentSyndrome ** BiochemicalAgent and ** ** DiseaseOrSyndrome
(=>     (and         (biologicalAgentCarrier ?AGENT ?ORGANISM)         (subclass ?SUB ?ORGANISM))     (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 976-980	Wenn biologicalAgentCarrier ** BiologicalAgent and ** Organism und ** ** Organism ist eine teilkategorie von ** Organism, dann biologicalAgentCarrier ** BiologicalAgent and ** ** Organism
(=>     (and         (birthdate ?A ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (birthday ?A ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24235-24245	Wenn birthdate Human and Day und ** Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt ** ** Day und Integer um birthday ** Human and ** ** Day und ** ** ** Day ist eine teilkategorie von Day und ** Integer ist ein fall von Integer %n{nicht} und ** ** ** Day ist gleich der tag ** PositiveInteger %n{nicht} und ** Integer ist groesserAls ** Integer %n{nicht}
(=>     (and         (birthdate JesusOfNazareth ?DAY)         (instance ?Y1             (YearFn -6))         (instance ?Y2             (YearFn 4)))     (temporalPart ?DAY         (TimeIntervalFn             (BeginFn ?Y1)             (EndFn ?Y2))))	Media.kif 1936-1941	Wenn birthdate JesusOfNazareth and Day und TimeInterval ist ein fall von das jahr -6 %n{nicht} und ** TimeInterval ist ein fall von das jahr 4 %n{nicht}, dann ** Day ist ein teil von abstand zwischen der anfang von ** TimeInterval und das ende von ** ** TimeInterval %n{nicht}
(=>     (and         (boilingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (instance ?SUBSTANCE ?TYPE)         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP2 ?MEASURE)))         (instance ?MEASURE UnitOfTemperature)         (greaterThanOrEqualTo ?TEMP2 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Gas))         (exists (?BOIL)             (and                 (overlapsTemporally                     (WhenFn ?BOIL) ?TIME)                 (instance ?BOIL Boiling)                 (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13863-13876	Wenn boilingPoint ** PureSubstance and RealNumber UnitOfMeasure(s) und Entity ist ein fall von ** PureSubstance %n{nicht} und das mass von ** Entity ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und ** ** RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht}, dann Gas ist ein attribut von ** Entity %n{nicht} haelt waehrend ** TimeInterval %n{nicht} oder es gibt Process um ** TimeInterval deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** Process ist ein fall von Boiling %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}
(=>     (and         (borrower ?Loan ?Borrower)         (lender ?Loan ?Lender)         (agreementPeriod ?Loan ?Period)         (interestEarned ?Loan ?Interest ?Period))     (exists (?Payment)         (and             (origin ?Payment ?Borrower)             (transactionAmount ?Payment ?Interest)             (destination ?Payment ?Lender))))	FinancialOntology.kif 1261-1271	Wenn borrower Loan and CognitiveAgent und lender ** Loan and ** CognitiveAgent und agreementPeriod ** Loan and TimeInterval und interestEarned ** Loan, Interest and ** TimeInterval, dann es gibt FinancialTransaction um ** FinancialTransaction beginnet an ** CognitiveAgent %n{nicht} und transactionAmount ** FinancialTransaction and ** Interest und ** FinancialTransaction endet an ** ** CognitiveAgent %n{nicht}
(=>     (and         (bottom ?BOTTOM ?OBJECT)         (part ?PART ?OBJECT)         (not             (connected ?PART ?BOTTOM)))     (orientation ?PART ?BOTTOM Above))	Merge.kif 9737-9742	Wenn die unterseite von SelfConnectedObject ist ** SelfConnectedObject und Object ist ein teil von ** SelfConnectedObject %n{nicht} und ** Object wird an ** ** SelfConnectedObject nicht angeschlossen, dann ** Object ist Above hinsichlich ** ** SelfConnectedObject %n{nicht}
(=>     (and         (breathingRate ?H ?T ?R)         (instance ?T Minute)         (not             (exists (?R)                 (and                     (instance ?R RecreationOrExercise)                     (agent ?R ?H)                     (during ?T                         (WhenFn ?R)))))         (holdsDuring ?T             (attribute ?H HumanAdult))         (or             (greaterThan ?R 16)             (lessThan ?R 12)))     (holdsDuring ?T         (not             (attribute ?H Healthy))))	Medicine.kif 367-385	Wenn breathingRate AutonomousAgent, TimeInterval and Integer und ** TimeInterval ist ein fall von Minute %n{nicht} und es gibt nicht ** Integer um ** Integer ist ein fall von RecreationOrExercise %n{nicht} und ** Integer ist der agent von ** AutonomousAgent %n{nicht} und ** TimeInterval geschieht waehrend die zeit des Bestehens von ** Integer %n{nicht} und HumanAdult ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend ** TimeInterval %n{nicht} und ** Integer ist groesserAls 16 %n{nicht} oder ** Integer ist kleinerAls 12 %n{nicht}, dann Healthy ist ein attribut von ** AutonomousAgent nicht haelt waehrend ** TimeInterval %n{nicht}
(=>     (and         (businessUnit ?ORG ?BUSINESS)         (member ?MEMBER ?ORG))     (instance ?MEMBER Human))	UXExperimentalTerms.kif 2579-2583	Wenn businessUnit Organization and Business und Physical ist ein Mitglied von ** Organization %n{nicht}, dann ** Physical ist ein fall von Human %n{nicht}
(=>     (and         (buys ?CUST ?AGENT ?ITEM)         (instance ?ITEM Physical))     (exists (?TRANS)         (and             (instance ?TRANS Buying)             (patient ?TRANS ?ITEM)             (agent ?TRANS ?CUST)             (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29951-29960	Wenn buys CognitiveAgent, AutonomousAgent and Entity und ** Entity ist ein fall von Physical %n{nicht}, dann es gibt Process um ** Process ist ein fall von Buying %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** Process beginnet an ** AutonomousAgent %n{nicht}
(=>     (and         (buys ?CUST ?AGENT ?ITEM)         (instance ?ITEM Proposition))     (exists (?TRANS ?PROC)         (and             (agent ?TRANS ?CUST)             (realization ?PROC ?ITEM)             (instance ?TRANS Buying)             (patient ?TRANS ?PROC)             (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29962-29972	Wenn buys CognitiveAgent, AutonomousAgent and Proposition und ** Proposition ist ein fall von Proposition %n{nicht}, dann es gibt Process und ** Process um ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** ** Process druekt den Inhalt von ** Proposition aus und ** Process ist ein fall von Buying %n{nicht} und ** ** Process ist ein patient von ** Process %n{nicht} und ** Process beginnet an ** AutonomousAgent %n{nicht}
(=>     (and         (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)         (agent ?ELECTION ?AGENT))     (desires ?CONTENDER         (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1850-1854	Wenn candidateForPosition Election, SocialRole and CognitiveAgent und ** Election ist der agent von AutonomousAgent %n{nicht}, dann ** CognitiveAgent wuenscht ** CognitiveAgent besetzt die position von ** SocialRole in ** AutonomousAgent %n{nicht}
(=>     (and         (capability ?PC ?ROLE ?MV)         (subclass ?PC Shooting))     (exists (?WEAPON)         (and             (instance ?WEAPON Weapon)             (part ?WEAPON ?MV)             (capability ?PC ?ROLE ?WEAPON))))	MilitaryDevices.kif 48-56	Wenn Object ist faehig %n{nicht}, in der Rolle CaseRole ** Process zu tun und ** Process ist eine teilkategorie von Shooting, dann es gibt ** Object um ** ** Object ist ein fall von Weapon %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist faehig %n{nicht}, in der Rolle ** CaseRole ** ** Process zu tun
(=>     (and         (capability ValetParking agent ?AGENT)         (customer ?CUST ?AGENT)         (located ?AGENT ?LOC)         (instance ?D Arriving)         (agent ?D ?CUST)         (patient ?D ?VEHICLE)         (destination ?D ?LOC))     (exists (?VALET)         (and             (occupiesPosition ?VALET Valet ?AGENT)             (modalAttribute                 (exists (?VP ?PARK)                     (and                         (instance ?VP ValetParking)                         (agent ?VP ?VALET)                         (patient ?VP ?VEHICLE)                         (destination ?VP ?PARK)                         (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 153-172	Wenn Organization ist faehig %n{nicht}, in der Rolle agent ValetParking zu tun und customer CognitiveAgent and ** Organization und ** Organization befindet sich an %n{nicht} und Process ist ein fall von Arriving %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Process endet an Object %n{nicht}, dann es gibt Human um ** Human besetzt die position von Valet in ** Organization und die Aussage es gibt ** entity und ** entity um ** ** entity ist ein fall von ValetParking %n{nicht} und ** ** entity ist der agent von ** Human %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} und ** ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von ParkingRegion %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