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
immediateInstance
WaterArea
Sigma KEE - immediateInstance
immediateInstance
appearance as argument number 1
(
documentation
immediateInstance
ChineseLanguage
"如果一个物体是一个
SetOrClass
的
instance
,而且它并不是该
SetOrClass
真正的子类别的
instance
,那这个物体就是该
SetOrClass
的
immediateInstance
。")
chinese_format.kif 1363-1365
(
documentation
immediateInstance
EnglishLanguage
"An object is an
immediateInstance
of a
Class
if it is an
instance
of the
Class
and it is not an
instance
of a proper subclass of
Class
.")
Merge.kif 94-96
(
documentation
immediateInstance
JapaneseLanguage
"オブジェクトがその
SetOrClass
の
instance
で、かつ
SetOrClass
の適切なサブクラスの
instance
でない場合、 オブジェクトは、
SetOrClass
の
immediateInstance
である。")
japanese_format.kif 21-23
(
documentation
immediateInstance
SpanishLanguage
"Un objeto es una
immediateInstance
de un
SetOrClass
si es una
instance
del
SetOrClass
y si no es una
instance
de una propia subclase
SetOrClass
.")
spanish_format.kif 21-23
(
domain
immediateInstance
1
Entity
)
Merge.kif 90-90
The number 1 argument of
immediate instance
is an
instance
of
entity
(
domain
immediateInstance
2
Class
)
Merge.kif 91-91
The number 2 argument of
immediate instance
is an
instance
of
class
(
instance
immediateInstance
AsymmetricRelation
)
Merge.kif 92-92
immediate instance
is an
instance
of
asymmetric relation
(
instance
immediateInstance
IntransitiveRelation
)
Merge.kif 93-93
immediate instance
is an
instance
of
intransitive relation
(
subrelation
immediateInstance
instance
)
Merge.kif 89-89
immediate instance
is a
subrelation
of
instance
appearance as argument number 2
(
format
ChineseLanguage
immediateInstance
"%1 %n 是 %2 的
immediateInstance
")
chinese_format.kif 301-301
(
format
EnglishLanguage
immediateInstance
"%1 is %n an immediate instance of %2")
english_format.kif 306-306
(
format
FrenchLanguage
immediateInstance
"%1 est %n une
instance
imm�diate de %2")
french_format.kif 173-173
(
format
ItalianLanguage
immediateInstance
"%è una istanza immediata %2")
relations-it.txt 138-138
(
format
JapaneseLanguage
immediateInstance
"%1 は %2 の immediate の インスタンス では %n")
japanese_format.kif 1993-1993
(
format
PortugueseLanguage
immediateInstance
"%1 e' %n uma instancia imediata de %2")
portuguese_format.kif 125-125
(
format
de
immediateInstance
"%1 ist ein direkter fall von %2")
relations-de.txt 394-394
(
format
hi
immediateInstance
"%1 %2 kaa nikaTastha drishhTaanta hai")
relations-hindi.txt 177-177
(
format
ro
immediateInstance
"%1 %n{nu} este o instanþiere immediate%t{imediatã} a lui %2")
relations-ro.kif 193-193
(
format
sv
immediateInstance
"%1 är %n{inte} en direkt instans av %2")
relations-sv.txt 182-182
(
format
tg
immediateInstance
"%1 ay ang kasapi ng agad sa %2")
relations-tg.txt 280-280
(
termFormat
ChineseLanguage
immediateInstance
"直接实例")
chinese_format.kif 302-302
(
termFormat
ChineseLanguage
immediateInstance
"立即实例")
domainEnglishFormat.kif 29355-29355
(
termFormat
ChineseTraditionalLanguage
immediateInstance
"立即實例")
domainEnglishFormat.kif 29354-29354
(
termFormat
EnglishLanguage
immediateInstance
"immediate instance")
domainEnglishFormat.kif 29353-29353
(
termFormat
tg
immediateInstance
"kasapi ng agad")
relations-tg.txt 281-281
antecedent
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a class
and
the class
is a
subclass
of
hotel unit
,
then there exist
a physical
,
a real number
,, ,
another real number
and
an unit of measure
such that
the physical
is an
immediate
instance of
the class
and
the unit of measure
is an
instance
of
unit of area
and the
measure
of
the physical
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is an
instance
of
area measure
and
the other real number
is an
instance
of
area measure
and
the other real number
is
greater
than
the real number
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
If
an object
is an
immediate
instance of
a class
and
a physical
is an
immediate
instance of
the class
and
oversized
is an
attribute
of
the object
,
then there exist
the object
SIZE,
the physical
SIZE and
an unit of measure
such that
the unit of measure
is an
instance
of
unit of measure
and the
measure
of
the object
is
the object
SIZE
the unit of measure
(s) and the
measure
of
the physical
is
the physical
SIZE
the unit of measure
(s) and
the object
SIZE is
greater
than
the physical
SIZE
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
If
an object
is an
immediate
instance of
a class
and
another object
is an
immediate
instance of
the class
and
cold
is an
attribute
of
the object
and
hot
is an
attribute
of
the other object
,
then there exist
a real number
,
another real number
and
an unit of measure
such that the
measure
of
the object
is
the real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of temperature
and
the real number
is an
instance
of
temperature measure
and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the other real number
is an
instance
of
temperature measure
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
If
a process
is an
instance
of
buying
and
an entity
is a
patient
of
the process
and
the process
originate
s at
a cognitive agent
and the
price
of
another kind of entity
from
the cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
another kind of entity
and
the other kind of entity
is a
subclass
of
physical
and
the entity
is an
immediate
instance of
the other kind of entity
and
a kind of payment
is a
valid
payment
under
the pricing scheme
,
then the statement there exists
a kind of payment
MENT such that
the kind of payment
MENT is an
instance
of
the kind of payment
and
the kind of payment
MENT is a
subprocess
of
the process
has the
modal
force
of
likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
If the
price
of
a kind of entity
from
a cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
for
a kind of agent
and
a third entity
is an
instance
of
a kind of agent
,
then the statement
if
a fourth entity
is an
instance
of
buying
and
the third entity
is an
agent
of
the fourth entity
and
the fourth entity
originate
s at
the cognitive agent
and
the other entity
is a
patient
of
the fourth entity
,
then
the currency measure
is a
transaction
amount of
the fourth entity
has the
modal
force
of
likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
If the
price
of
a kind of entity
from
a cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
during
a time interval
,
then the statement
if
a third entity
is an
instance
of
selling
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
,
then
the currency measure
is a
transaction
amount of
the third entity
has the
modal
force
of
likely
holds
during
the time interval
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
If
a cognitive agent
sells
a kind of entity
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and the
price
of
a kind of entity
from
the cognitive agent
according to
a pricing scheme
is
another real number
the unit of measure
(s) and
the pricing scheme
is
valid
for
a kind of agent
and
another entity
is an
instance
of
the kind of entity
and
a process
is an
instance
of
buying
and
another agent
is an
immediate
instance of
a kind of agent
and
the other agent
is an
agent
of
the process
and
the process
originate
s at
the cognitive agent
and
the other real number
is
less
than
the real number
,
then the statement
the real number
is a
transaction
amount of
the process
has the
modal
force
of
likely
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
If
an entity
is an
immediate
instance of
a class
,
then there doesn't exist
another class
such that
the other class
is a
subclass
of
the class
and
the other class
is not
equal
to
the class
and
the entity
is an
instance
of
the other class
consequent
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
If
oversized
is an
attribute
of
an object
and
the object
is an
immediate
instance of
a class
and
the class
is a
subclass
of
hotel unit
,
then there exist
a physical
,
a real number
,, ,
another real number
and
an unit of measure
such that
the physical
is an
immediate
instance of
the class
and
the unit of measure
is an
instance
of
unit of area
and the
measure
of
the physical
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is an
instance
of
area measure
and
the other real number
is an
instance
of
area measure
and
the other real number
is
greater
than
the real number
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
If the
price
negotiated for
a kind of physical
in
an agreement
is
a currency measure
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
,
then
the cognitive agent
has the responsibility to make there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
immediate
instance of
a kind of physical
and
the other cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the cognitive agent
and
the currency measure
is a
transaction
amount of
the entity
obligation
in
the agreement
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
If the
price
negotiated for
a kind of physical
in
an agreement
is
a currency measure
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
immediate
instance of
a kind of physical
and
the cognitive agent
is an
agent
of
the entity
and
the entity
end
s up at
the other cognitive agent
and
the currency measure
is a
transaction
amount of
the entity
has the
modal
force
of
promise
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15016-15024
If
a collection
is an
instance
of
industry
,
then there exist
a physical
,
another physical
and
a class
such that
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and
the class
is a
subclass
of
corporation
and
the physical
is an
immediate
instance of
the class
and
the other physical
is an
immediate
instance of
the class
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
If
a cognitive agent
sells
a kind of entity
for
a currency measure
,
then the statement
if
another entity
is an
instance
of
selling
and
a third entity
is an
immediate
instance of
a kind of entity
and
the third entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then
the currency measure
is a
transaction
amount of
the other entity
has the
modal
force
of
likely
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