Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 5417-5419
(
documentation
element
JapaneseLanguage
"(element ?ENTITY ?SET) は、?ENTITY が
Set
?SETに 含まれている場合に当てはまる。
Entity
は、後者が
Set
の場合にのみ、別の
Entity
の
element
にすることができる。")
japanese_format.kif 957-959
(
domain
element
1
Entity
)
Merge.kif 5414-5414
Die Zahl 1 Argument von
element
ist ein
fall
von
Entity
%n{nicht}
(
domain
element
2
Set
)
Merge.kif 5415-5415
Die Zahl 2 Argument von
element
ist ein
fall
von
Set
%n{nicht}
(
instance
element
AsymmetricRelation
)
Merge.kif 5412-5412
element
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
element
BinaryPredicate
)
Merge.kif 5411-5411
element
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
element
instance
)
Merge.kif 5413-5413
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
element
o 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
element
o 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
element
o 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 5421-5425
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 5405-5409
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
** TemporaryResidence
OOM %n{nicht} und
roomAmenity
** TemporaryResidence
OOM 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 12036-12048
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 31312-31319
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 31175-31180
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 31100-31105
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 31153-31158
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 31079-31084
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 31048-31053
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 30999-31004
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 31204-31209
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 31344-31349
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 31226-31231
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 31269-31274
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 12068-12084
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 30018-30048
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 5399-5403
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 5532-5535
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 5520-5524
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 4285-4288
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 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