Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
element
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
2
Set
)
Merge.kif 5315-5315
(
instance
element
AsymmetricRelation
)
Merge.kif 5312-5312
(
instance
element
BinaryPredicate
)
Merge.kif 5311-5311
(
subrelation
element
instance
)
Merge.kif 5313-5313
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
(
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
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5305-5309
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1430-1435
(=>
(
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
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 142-149
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1671-1679
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5299-5303
consequent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 578-583
(=>
(
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
(=>
(
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
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 142-149
(=>
(
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
(=>
(
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
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5299-5303
(=>
(
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
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 98-103
(=>
(
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
?SET
NonNullSet
)
(
exists
(?INST)
(
element
?INST ?SET)))
Merge.kif 5432-5435
(=>
(
instance
?SET
NullSet
)
(
not
(
exists
(?INST)
(
element
?INST ?SET))))
Merge.kif 5420-5424
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1666-1669
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 594-599
(=>
(
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
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