element - Sigma Knowledge base Browser

appearance as argument number 1

(documentation element ChineseLanguage "(element ?ENTITY ?SET)是真的，以防 Set ?SET 已包含了这个 ?ENTITY。一个 Entity 可以是另外一个 Entity 的 element 当且仅当后者是一个 Set。")	chinese_format.kif 2289-2290
(documentation element EnglishLanguage "(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set.")	Merge.kif 5418-5420
(documentation element JapaneseLanguage "(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。")	japanese_format.kif 957-959
(domain element 1 Entity)	Merge.kif 5415-5415	Die Zahl 1 Argument von element ist ein fall von Entity %n{nicht}
(domain element 2 Set)	Merge.kif 5416-5416	Die Zahl 2 Argument von element ist ein fall von Set %n{nicht}
(instance element AsymmetricRelation)	Merge.kif 5413-5413	element ist ein fall von AsymmetricRelation %n{nicht}
(instance element BinaryPredicate)	Merge.kif 5412-5412	element ist ein fall von BinaryPredicate %n{nicht}
(subrelation element instance)	Merge.kif 5414-5414	element ist eine teilrelation von instance

appearance as argument number 2

(format ChineseLanguage element "%1 %n 是 %2 的 element")	chinese_format.kif 488-488
(format EnglishLanguage element "%1 is %n an element of %2")	english_format.kif 493-493
(format FrenchLanguage element "%1 est %n un �lement de %2")	french_format.kif 285-285
(format ItalianLanguage element "%è %n un elemento di %2")	relations-it.txt 90-90
(format JapaneseLanguage element "%1 は %2 の element %n")	japanese_format.kif 2066-2066
(format PortugueseLanguage element "%1 e' %n um elemento de %2")	portuguese_format.kif 237-237
(format cz element "%1 %p{je} %n{nen�} an element of %2")	relations-cz.txt 291-291
(format de element "%1 ist ein element von %2 %n{nicht}")	relations-de.txt 633-633
(format hi element "%1 %2 kaa ghaTaka %n hai")	relations-hindi.txt 130-130
(format ro element "%1 %n{nu} este un element%t{element} al lui %2")	relations-ro.kif 306-306
(format sv element "%1 är %n{inte} ett element av %2")	relations-sv.txt 312-312
(format tg element "%1 %n ay ang elemento sa %2")	relations-tg.txt 195-195
(relatedInternalConcept member element)	Merge.kif 1282-1282	mitglied ist innerlich verwandt mit element %n{nicht}
(termFormat ChineseLanguage element "元件")	domainEnglishFormat.kif 21792-21792
(termFormat ChineseLanguage element "元素")	chinese_format.kif 489-489
(termFormat ChineseTraditionalLanguage element "元件")	domainEnglishFormat.kif 21791-21791
(termFormat EnglishLanguage element "element")	domainEnglishFormat.kif 21790-21790
(termFormat tg element "elemento")	relations-tg.txt 196-196

antecedent

(=> (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2)) (equal ?SET1 ?SET2))	Merge.kif 5422-5426	Wenn Entity ist ein element von Set %n{nicht} genau dann wenn Entity ist ein element von Set %n{nicht}, dann Set ist gleich ** Set %n{nicht}
(=> (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)) (subset ?SUBSET ?SET))	Merge.kif 5406-5410	Wenn wenn Entity ist ein element von Set %n{nicht}, dann Entity ist ein element von Set %n{nicht} , dann Set ist eine teilmenge von ** Set %n{nicht}
(=> (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 (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1127-1140	Wenn Object ist ein element von eigentum von Organization %n{nicht} und AnnexRoom ist ein attribut von Object %n{nicht} und Object ist ein fall von HotelRoom %n{nicht}, dann es gibt Object, Object, and und Organization um subOrganization Organization and Organization und Organization ist ein fall von HotelFrontDesk %n{nicht} und Organization befindet sich an %n{nicht} und Object ist ein element von eigentum von Organization %n{nicht} und Object ist ein element von eigentum von Organization %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist gleich ** Object nicht
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	Wenn Collection ist ein element von eigentum von AutonomousAgent %n{nicht} und Collection ist ein fall von RoomInventory %n{nicht}, dann fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein element von eigentum von ** AutonomousAgent %n{nicht}
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	Wenn freeFunctionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an CognitiveAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und AutonomousAgent besitzt Object %n{nicht} und customer CognitiveAgent and AutonomousAgent und Object ist ein fall von Process %n{nicht} und Object ist der agent von CognitiveAgent %n{nicht} oder CognitiveAgent erfaehrt Object %n{nicht} oder AutonomousAgent besitzt Object %n{nicht} und Object ist ein fall von Object %n{nicht} und CognitiveAgent verwendet Object, dann price Object, 0 UnitedStatesDollar(s) and AutonomousAgent
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object befindet sich an %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von Human %n{nicht} und Object ist ein patient von Process %n{nicht} oder Object ist ein instrument fuer Process %n{nicht} oder Object ist ein hilfmittel fuer Process %n{nicht}, dann price Object, 0 UnitedStatesDollar(s) and ** Human
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))	Hotel.kif 364-378	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Human ist ein patient von Process %n{nicht} und Process ist ein fall von Physical %n{nicht} oder Process ist ein fall von Physical %n{nicht} und Process ist ein subProzess von Process und Process befindet sich an %n{nicht}, dann price Process, 0.0 UnitedStatesDollar(s) and ** Human
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	Wenn functionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} 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 endet an Entity %n{nicht} und Physical ist eine teilkategorie von Object, dann die Aussage es gibt entity und entity um entity ist ein fall von Physical %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein hilfmittel fuer entity %n{nicht} oder entity ist ein instrument fuer entity %n{nicht} oder entity ist ein patient von entity %n{nicht} und entity ist der agent von Entity %n{nicht} oder Entity erfaehrt ** entity %n{nicht} hat die modale Kraft von Possibility
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	Wenn guest Human and AutonomousAgent und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und TemporaryResidence ist ein fall von TemporaryResidenceOOM %n{nicht} und roomAmenity TemporaryResidenceOOM and Physical und Physical ist eine teilkategorie von Object, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und Physical befindet sich an %n{nicht} und AutonomousAgent erlaubt Human, die Aufgabe der Art von es gibt entity um entity ist der agent von Human %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} oder Physical ist ein patient von entity %n{nicht} oder Physical ist ein hilfmittel fuer entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12060-12072	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Set ist ein fall von Set %n{nicht} und Set ist ein patient von Process %n{nicht} und Entity ist ein element von Set %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass es gibt entity um Entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von IntentionalProcess und CognitiveAgent ist faehig %n{nicht}, in der Rolle agent entity zu tun
(=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X)))))	Hotel.kif 1696-1704	Wenn Physical ist ein fall von HotelFunctionRoom %n{nicht} und Physical ist ein element von eigentum von AutonomousAgent %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Renting %n{nicht} und Physical ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (exists (?NANNY ?CARE) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY))))))	Hotel.kif 1902-1914	Wenn Object ist ein fall von Nursery %n{nicht} und Object ist ein element von eigentum von AutonomousAgent %n{nicht} und TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt CognitiveAgent und entity um CommunalAttribute ist ein attribut von Object %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und CognitiveAgent hat Zweck von entity ist ein fall von ChildCareService %n{nicht} und serviceProvider entity and ** CognitiveAgent %n{nicht}
(=> (and (maxRoomCapacity ?ROOM ?NUM) (instance ?X ?ROOM) (element ?X (PropertyFn ?AGENT))) (modalAttribute (exists (?GRP ?PPL) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?NUM) (stays ?GRP ?X))) Possibility))	Hotel.kif 479-490	Wenn maxRoomCapacity StationaryArtifact and Integer und Entity ist ein fall von StationaryArtifact %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von GroupOfPeople %n{nicht} und memberCount entity and entity und entity ist kleinerAlsOderGleich Integer %n{nicht} und stays entity and ** Entity hat die modale Kraft von Possibility
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31348-31355	Wenn memberMeasure Set, MeasurementAttribute and TimeDuration und Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 31211-31216	Wenn memberMeasure Set, MeasurementAttribute and LengthMeasure und Set ist ein fall von Set %n{nicht} und SelfConnectedObject ist ein element von Set %n{nicht}, dann approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31136-31141	Wenn memberMeasure Set, MeasurementAttribute and LengthMeasure und Set ist ein fall von Set %n{nicht} und Object ist ein element von Set %n{nicht}, dann circumfrence Object and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31189-31194	Wenn memberMeasure Set, MeasurementAttribute and LengthMeasure und Set ist ein fall von Set %n{nicht} und Object ist ein element von Set %n{nicht}, dann der durchmesser von Object ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 31115-31120	Wenn memberMeasure Set, MeasurementAttribute and LengthMeasure und Set ist ein fall von Set %n{nicht} und SelfConnectedObject ist ein element von Set %n{nicht}, dann die hoehe von SelfConnectedObject ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 31084-31089	Wenn memberMeasure Set, MeasurementAttribute and LengthMeasure und Set ist ein fall von Set %n{nicht} und Physical ist ein element von Set %n{nicht}, dann die laenge von Physical ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 31035-31040	Wenn memberMeasure Set, MeasurementAttribute and PhysicalQuantity und Set ist ein fall von Set %n{nicht} und Physical ist ein element von Set %n{nicht}, dann das mass von Physical ist PhysicalQuantity %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 31240-31245	Wenn memberMeasure Set, MeasurementAttribute and AreaMeasure und Set ist ein fall von Set %n{nicht} und Region ist ein element von Set %n{nicht}, dann totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 31380-31385	Wenn memberMeasure Set, MeasurementAttribute and FunctionQuantity und Set ist ein fall von Set %n{nicht} und ElectricalTransformer ist ein element von Set %n{nicht}, dann transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 31262-31267	Wenn memberMeasure Set, MeasurementAttribute and FunctionQuantity und Set ist ein fall von Set %n{nicht} und ElectricalTransformer ist ein element von Set %n{nicht}, dann voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 31305-31310	Wenn memberMeasure Set, MeasurementAttribute and FunctionQuantity und Set ist ein fall von Set %n{nicht} und ElectricalTransformer ist ein element von Set %n{nicht}, dann voltageRatingSecondary ElectricalTransformer and FunctionQuantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (activityCapability ?AGENT ?ACT) (exists (?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (capability ?ACT located ?LOC))))	Hotel.kif 599-604	Wenn activityCapability AutonomousAgent and Process, dann es gibt Object um Object ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist faehig %n{nicht}, in der Rolle befindetSich ** Process zu tun
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	Wenn customer CognitiveAgent and AutonomousAgent und propertyAmenity AutonomousAgent and Physical und Physical ist eine teilkategorie von Process, dann die Aussage es gibt entity, entity, and und entity um entity ist ein element von eigentum von AutonomousAgent %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und entity ist ein fall von Physical %n{nicht} oder entity ist ein fall von Physical %n{nicht} und entity ist ein subProzess von entity und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1127-1140	Wenn Object ist ein element von eigentum von Organization %n{nicht} und AnnexRoom ist ein attribut von Object %n{nicht} und Object ist ein fall von HotelRoom %n{nicht}, dann es gibt Object, Object, and und Organization um subOrganization Organization and Organization und Organization ist ein fall von HotelFrontDesk %n{nicht} und Organization befindet sich an %n{nicht} und Object ist ein element von eigentum von Organization %n{nicht} und Object ist ein element von eigentum von Organization %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist gleich ** Object nicht
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	Wenn Collection ist ein element von eigentum von AutonomousAgent %n{nicht} und Collection ist ein fall von RoomInventory %n{nicht}, dann fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein element von eigentum von ** AutonomousAgent %n{nicht}
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12092-12108	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Set %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity um entity ist ein element von Entity %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30054-30084	Wenn Process ist ein fall von BreakingRecord %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Set, Class,, , Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Class ist eine teilkategorie von Process und Object ist ein fall von Region %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und Entity ist ein fall von Quantity %n{nicht} und Process ist ein fall von Class %n{nicht} und Process umfasst einen hinweis auf Entity und Entity umfasst einen hinweis auf Process und playsRoleInEvent AutonomousAgent, CaseRole and Process und eventLocated Process and Object und es gibt nicht Entity und Entity um Entity ist ein fall von Set %n{nicht} und Entity ist gleich AutonomousAgent nicht und Entity ist ein fall von Class %n{nicht} und playsRoleInEvent Entity, CaseRole and Entity und eventLocated Entity and Object haelt waehrend abstand zwischen TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (roomAmenity ?ROOM ?SVC) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S ?HOTEL ?PROC) (and (instance ?X ?ROOM) (element ?X (PropertyFn ?HOTEL)) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility))	Hotel.kif 317-332	Wenn roomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process, dann die Aussage es gibt entity, entity,, , entity, and und entity um entity ist ein fall von HotelUnit %n{nicht} und entity ist ein element von eigentum von entity %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein fall von Physical %n{nicht} oder entity ist ein fall von Physical %n{nicht} und entity ist ein subProzess von entity und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5400-5404	Wenn Set ist eine teilmenge von Set %n{nicht} und Entity ist ein element von Set %n{nicht}, dann Entity ist ein element von ** Set %n{nicht}
(=> (attribute ?X TravelerAccommodation) (hasPurpose ?X (exists (?GUEST ?ROOM ?TI) (and (rents ?GUEST ?X ?ROOM ?TI) (instance ?ROOM HotelUnit) (element ?ROOM (PropertyFn ?X))))))	Hotel.kif 45-52	Wenn TravelerAccommodation ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um rents entity, Object, entity and entity und entity ist ein fall von HotelUnit %n{nicht} und entity ist ein element von eigentum von Object %n{nicht} %n{nicht}
(=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X)))))	naics.kif 11437-11442	Wenn WaterThemePark ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Entity um Entity ist ein fall von SwimmingPool %n{nicht} und Entity ist ein element von eigentum von ** AutonomousAgent %n{nicht}
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	Wenn Entity ist ein fall von HotelUnit %n{nicht}, dann es gibt AutonomousAgent um TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein element von eigentum von ** AutonomousAgent %n{nicht}
(=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI)))))	Hotel.kif 110-117	Wenn Physical ist ein fall von HotelUnit %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist gleich entity nicht und Physical ist ein element von eigentum von entity %n{nicht} und rents entity, entity, Physical and entity %n{nicht}
(=> (instance ?SET NonNullSet) (exists (?INST) (element ?INST ?SET)))	Merge.kif 5533-5536	Wenn Set ist ein fall von NonNullSet %n{nicht}, dann es gibt Entity um Entity ist ein element von Set %n{nicht}
(=> (instance ?SET NullSet) (not (exists (?INST) (element ?INST ?SET))))	Merge.kif 5521-5525	Wenn Set ist ein fall von NullSet %n{nicht}, dann es gibt nicht Entity um Entity ist ein element von Set %n{nicht}
(=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL))))	Hotel.kif 1691-1694	Wenn Entity ist ein fall von HotelFunctionRoom %n{nicht}, dann es gibt AutonomousAgent um Entity ist ein element von eigentum von AutonomousAgent %n{nicht}
(=> (possesses ?PERSON ?OBJ) (element ?OBJ (PropertyFn ?PERSON)))	Merge.kif 4286-4289	Wenn AutonomousAgent besitzt Object %n{nicht}, dann Object ist ein element von eigentum von AutonomousAgent %n{nicht}
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X))))	Hotel.kif 615-620	Wenn propertyPolicy AutonomousAgent and Policy, dann fuer alle Object wenn Object ist ein element von eigentum von AutonomousAgent %n{nicht}, dann policyLocationCoverage Policy and Object
(=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL)))))))	Hotel.kif 1727-1739	Wenn roomAmenity HotelUnit and HotelMiniBar, dann es gibt Object, Collection, and und AutonomousAgent um Object ist ein fall von HotelUnit %n{nicht} und Object ist ein element von eigentum von AutonomousAgent %n{nicht} und Collection ist ein fall von HotelMiniBar %n{nicht} und Collection befindet sich an %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann es gibt CurrencyMeasure um price Physical, CurrencyMeasure and AutonomousAgent

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: