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 5317-5319
(domain element 1 Entity)	Merge.kif 5314-5314	domain element, 1 and Entity
(domain element 2 Set)	Merge.kif 5315-5315	domain element, 2 and Set
(instance element AsymmetricRelation)	Merge.kif 5312-5312	instance element and AsymmetricRelation
(instance element BinaryPredicate)	Merge.kif 5311-5311	instance element and BinaryPredicate
(subrelation element instance)	Merge.kif 5313-5313	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 1234-1234	relatedInternalConcept member and element
(termFormat ChineseLanguage element "元件")	domainEnglishFormat.kif 21789-21789
(termFormat ChineseLanguage element "元素")	chinese_format.kif 489-489
(termFormat ChineseTraditionalLanguage element "元件")	domainEnglishFormat.kif 21788-21788
(termFormat EnglishLanguage element "element")	domainEnglishFormat.kif 21787-21787

antecedent

(=> (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2)) (equal ?SET1 ?SET2))	Merge.kif 5321-5325	element Entity and Set element Entity and Set equal Set and Set
(=> (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)) (subset ?SUBSET ?SET))	Merge.kif 5305-5309	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 1430-1435	attribute Agent and TravelerAccommodation element Entity and PropertyFn Agent instance Entity and Casino attribute Agent 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 1105-1118	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 142-149	element Collection and PropertyFn Agent instance Collection and RoomInventory Physical member Physical and Collection element Physical and PropertyFn Agent
(=> (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 ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 820-841	freeFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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 ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	freeRoomAmenity HotelUnit and Class subclass Class and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and Class 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 Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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) ?HOTEL))	Hotel.kif 351-365	freeRoomAmenity HotelUnit and Class subclass Class and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and Class instance Process and Class subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0.0 and UnitedStatesDollar and Agent
(=> (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 790-811	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn Agent instance Process and Renting patient Process and Entity agent Process and Agent 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 289-308	guest Human and CognitiveAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent 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, CognitiveAgent and Human
(=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X)))))	Hotel.kif 1671-1679	instance Physical and HotelFunctionRoom element Physical and PropertyFn Agent hasPurpose Physical and entity instance entity and Renting patient entity and Physical
(=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (exists (?CARE) (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY))))))	Hotel.kif 1877-1889	instance Object and Nursery element Object and PropertyFn Agent attribute Agent and TravelerAccommodation attribute Object and CommunalAttribute employs Agent and CognitiveAgent hasPurpose CognitiveAgent and entity instance entity and ChildCareService serviceProvider entity and CognitiveAgent
(=> (and (maxRoomCapacity ?ROOM ?NUM) (instance ?X ?ROOM) (element ?X (PropertyFn ?AGENT))) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?NUM) (stays ?GRP ?X))) Possibility))	Hotel.kif 459-470	maxRoomCapacity StationaryArtifact and Integer instance Entity and StationaryArtifact element Entity and PropertyFn Agent modalAttribute 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 ?CUST ?X)))) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))	Hotel.kif 850-875	paidFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn RealNumber and UnitOfMeasure and CognitiveAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 0
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5299-5303	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 578-583	activityCapability Agent and Process Object element Object and PropertyFn Agent capability Process, located and Object
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHY) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 502-518	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Process modalAttribute entity entity element entity and PropertyFn CognitiveAgent agent entity and CognitiveAgent patient entity and CognitiveAgent instance entity and Physical instance entity and entity 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 1105-1118	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 142-149	element Collection and PropertyFn Agent instance Collection and RoomInventory Physical member Physical and Collection element Physical and PropertyFn Agent
(=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (=> (and (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 ?O) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (and (price ?P (MeasureFn ?PRICE ?U) ?HOTEL) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 374-396	paidRoomAmenity HotelUnit and Class subclass Class and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and Class located Object and TemporaryResidence instance Process and Process agent Process and Human located Process and Object patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn ProcessRICE and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (and (paidRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process)) (=> (and (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)) (and (price ?P (MeasureFn ?PRICE ?U) ?HOTEL) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 398-418	paidRoomAmenity HotelUnit and Class subclass Class and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and Class instance Process and Class subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn ProcessRICE and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET))	Merge.kif 5299-5303	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 Agent and WaterThemePark Entity instance Entity and SwimmingPool element Entity and PropertyFn Agent
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 98-103	instance Entity and HotelUnit Agent attribute Agent and TravelerAccommodation element Entity and PropertyFn Agent
(=> (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 105-112	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 5432-5435	instance Set and NonNullSet Entity element Entity and Set
(=> (instance ?SET NullSet) (not (exists (?INST) (element ?INST ?SET))))	Merge.kif 5420-5424	instance Set and NullSet Entity element Entity and Set
(=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL))))	Hotel.kif 1666-1669	instance Entity and HotelFunctionRoom Agent element Entity and PropertyFn Agent
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X))))	Hotel.kif 594-599	propertyPolicy Agent and Policy Object element Object and PropertyFn Agent 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 1702-1714	roomAmenity HotelUnit and HotelMiniBar Object Collection and Agent instance Object and HotelUnit element Object and PropertyFn Agent instance Collection and HotelMiniBar located Collection and Object Physical member Physical and Collection CurrencyMeasure price Physical, CurrencyMeasure and Agent

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