TreeView Knowledge Base Browser - element

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - element

element

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 5344-5346
(domain element 1 Entity)	Merge.kif 5341-5341	domain element, 1 and Entity
(domain element 2 Set)	Merge.kif 5342-5342	domain element, 2 and Set
(instance element AsymmetricRelation)	Merge.kif 5339-5339	instance element and AsymmetricRelation
(instance element BinaryPredicate)	Merge.kif 5338-5338	instance element and BinaryPredicate
(subrelation element instance)	Merge.kif 5340-5340	subrelation element and 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
(relatedInternalConcept member element)	Merge.kif 1250-1250	relatedInternalConcept member and element
(termFormat ChineseLanguage element "元件")	domainEnglishFormat.kif 21788-21788
(termFormat ChineseLanguage element "元素")	chinese_format.kif 489-489
(termFormat ChineseTraditionalLanguage element "元件")	domainEnglishFormat.kif 21787-21787
(termFormat EnglishLanguage element "element")	domainEnglishFormat.kif 21786-21786

antecedent

(=> (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2)) (equal ?SET1 ?SET2))	Merge.kif 5348-5352	element Entity and Set element Entity and Set equal Set and Set
(=> (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)) (subset ?SUBSET ?SET))	Merge.kif 5332-5336	element Entity and Set element Entity and Set subset Set and Set
(=> (and (attribute ?X TravelerAccommodation) (element ?CASINO (PropertyFn ?X)) (instance ?CASINO Casino)) (attribute ?X CasinoHotels))	Hotel.kif 1452-1457	attribute AutonomousAgent and TravelerAccommodation element Entity and PropertyFn AutonomousAgent instance Entity and Casino attribute AutonomousAgent and CasinoHotels
(=> (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	element Object and PropertyFn Organization attribute Object and AnnexRoom instance Object and HotelRoom Object Object and Organization Organization は組織 Organization の一部では %n instance Organization and HotelFrontDesk located Organization and Object element Object and PropertyFn Organization element Object and PropertyFn Organization part Object and Object equal Object and Object
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	element Collection and PropertyFn AutonomousAgent instance Collection and RoomInventory Physical member Physical and Collection element Physical and PropertyFn AutonomousAgent
(=> (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	freeFunctionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Object and Physical possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Process agent Object and CognitiveAgent experiencer Object and CognitiveAgent possesses AutonomousAgent and Object instance Object and Object uses Object and CognitiveAgent price Object, MeasureFn 0 and UnitedStatesDollar 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	freeRoomAmenity HotelUnit and Physical subclass Physical and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn AutonomousAgent instance Object and Physical located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Object, MeasureFn 0 and UnitedStatesDollar 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	freeRoomAmenity HotelUnit and Physical subclass Physical and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn AutonomousAgent patient Process and Human instance Process and Physical instance Process and Physical subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0.0 and UnitedStatesDollar 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	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity agent Process and AutonomousAgent destination Process and Entity subclass Physical and Object modalAttribute entity entity instance entity and Physical instance entity and Process resource entity and entity instrument entity and entity patient entity and entity agent entity and Entity experiencer entity and Entity and 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	guest Human and AutonomousAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn AutonomousAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight entity agent entity and Human instrument entity and Physical patient entity and Physical resource entity and Physical, AutonomousAgent and Human
(=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X)))))	Hotel.kif 1696-1704	instance Physical and HotelFunctionRoom element Physical and PropertyFn AutonomousAgent hasPurpose Physical and entity instance entity and Renting patient entity and Physical
(=> (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	instance Object and Nursery element Object and PropertyFn AutonomousAgent attribute AutonomousAgent and TravelerAccommodation CognitiveAgent entity attribute Object and CommunalAttribute employs AutonomousAgent and CognitiveAgent hasPurpose CognitiveAgent and instance entity and ChildCareService serviceProvider entity and CognitiveAgent
(=> (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	maxRoomCapacity StationaryArtifact and Integer instance Entity and StationaryArtifact element Entity and PropertyFn AutonomousAgent modalAttribute entity entity instance entity and GroupOfPeople memberCount entity and entity lessThanOrEqualTo entity and Integer stays entity and Entity and Possibility
(=> (and (paidFunctionRoomAmenity ?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)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Object and Physical possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Process agent Object and CognitiveAgent experiencer Object and CognitiveAgent possesses AutonomousAgent and Object instance Object and Object uses Object and CognitiveAgent RealNumber UnitOfMeasure price Object, MeasureFn RealNumber and UnitOfMeasure and AutonomousAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 0
(=> (and (paidRoomAmenity ?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 (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 396-417	paidRoomAmenity HotelUnit and Physical subclass Physical and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn AutonomousAgent instance Object and Physical located Object and TemporaryResidence instance Process and Process agent Process and Human located Process and TemporaryResidence patient Process and Object instrument Process and Object resource Process and Object ProcessRICE UnitOfMeasure price Object, MeasureFn ProcessRICE and UnitOfMeasure and Human instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (and (paidRoomAmenity ?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)) (exists (?PRICE ?U) (and (price ?P (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 419-438	paidRoomAmenity HotelUnit and Physical subclass Physical and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn AutonomousAgent patient Process and Human instance Process and Physical instance Process and Physical subProcess Process and Process located Process and TemporaryResidence ProcessRICE UnitOfMeasure price Process, MeasureFn ProcessRICE and UnitOfMeasure and Human instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (and (propositionOwner ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL)))))	Hotel.kif 2744-2757	propositionOwner CognitiveAgent and HotelPackage instance HotelPackage and HotelPackage accommodationProvider HotelPackage and Organization roomStay HotelPackage, Integer and HotelUnit instance Entity and HotelUnit element Entity and PropertyFn Organization buys entity, CognitiveAgent and HotelPackage TimePosition equal TimePosition and MeasureFn Integer and DayDuration holdsDuring TimePosition and guest entity and Organization
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5326-5330	subset Set and Set element Entity and Set element Entity and Set

consequent

(=> (activityCapability ?AGENT ?ACT) (exists (?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (capability ?ACT located ?LOC))))	Hotel.kif 599-604	activityCapability AutonomousAgent and Process Object element Object and PropertyFn AutonomousAgent capability Process, located and Object
(=> (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	customer CognitiveAgent and AutonomousAgent propertyAmenity AutonomousAgent and Physical subclass Physical and Process modalAttribute entity entity and entity element entity and PropertyFn AutonomousAgent agent entity and AutonomousAgent patient entity and CognitiveAgent instance entity and Physical instance entity and Physical subProcess entity and entity located entity and entity and 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	element Object and PropertyFn Organization attribute Object and AnnexRoom instance Object and HotelRoom Object Object and Organization Organization は組織 Organization の一部では %n instance Organization and HotelFrontDesk located Organization and Object element Object and PropertyFn Organization element Object and PropertyFn Organization part Object and Object equal Object and Object
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	element Collection and PropertyFn AutonomousAgent instance Collection and RoomInventory Physical member Physical and Collection element Physical and PropertyFn AutonomousAgent
(=> (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	roomAmenity HotelUnit and Physical subclass Physical and Process modalAttribute entity entity, entity and entity instance entity and HotelUnit element entity and PropertyFn entity agent entity and entity instance entity and Physical instance entity and Physical subProcess entity and entity located entity and entity and Possibility
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5326-5330	subset Set and Set element Entity and Set element Entity and Set
(=> (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	attribute Object and TravelerAccommodation hasPurpose Object and entity entity and entity rents entity, Object, entity and entity instance entity and HotelUnit element entity and PropertyFn Object
(=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X)))))	naics.kif 11437-11442	attribute AutonomousAgent and WaterThemePark Entity instance Entity and SwimmingPool element Entity and PropertyFn AutonomousAgent
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	instance Entity and HotelUnit AutonomousAgent attribute AutonomousAgent and TravelerAccommodation element Entity and PropertyFn AutonomousAgent
(=> (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	instance Physical and HotelUnit hasPurpose Physical and entity entity and entity equal entity and entity element Physical and PropertyFn entity rents entity, entity, Physical and entity
(=> (instance ?SET NonNullSet) (exists (?INST) (element ?INST ?SET)))	Merge.kif 5459-5462	instance Set and NonNullSet Entity element Entity and Set
(=> (instance ?SET NullSet) (not (exists (?INST) (element ?INST ?SET))))	Merge.kif 5447-5451	instance Set and NullSet Entity element Entity and Set
(=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL))))	Hotel.kif 1691-1694	instance Entity and HotelFunctionRoom AutonomousAgent element Entity and PropertyFn AutonomousAgent
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X))))	Hotel.kif 615-620	propertyPolicy AutonomousAgent and Policy Object element Object and PropertyFn AutonomousAgent 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	roomAmenity HotelUnit and HotelMiniBar Object Collection and AutonomousAgent instance Object and HotelUnit element Object and PropertyFn AutonomousAgent instance Collection and HotelMiniBar located Collection and Object Physical member Physical and Collection CurrencyMeasure price Physical, CurrencyMeasure and AutonomousAgent

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

Show without tree

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