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
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
O argumento numero 1 de
immediateInstance
e' uma
instancia
de
Entidade
(
domain
immediateInstance
2
Class
)
Merge.kif 91-91
O argumento numero 2 de
immediateInstance
e' uma
instancia
de
Classe
(
instance
immediateInstance
AsymmetricRelation
)
Merge.kif 92-92
immediateInstance
e' uma
instancia
de
Relacao Assimetrica
(
instance
immediateInstance
IntransitiveRelation
)
Merge.kif 93-93
immediateInstance
e' uma
instancia
de
Relacao Intransitiva
(
subrelation
immediateInstance
instance
)
Merge.kif 89-89
immediateInstance
e' uma
sub
-relacao de
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
Oversized
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
imediata de
Classe
Classe
e' uma
sub
-classe de
HotelUnit
Fisico
Numero Real
,
Numero Real
and
Unidade de Medida
Fisico
e' uma
instancia
imediata de
Classe
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
imediata de
Classe
Fisico
e' uma
instancia
imediata de
Classe
Oversized
e' um
atributo
de
Objeto
Objeto
SIZE
Fisico
SIZE and
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
a
medida
de
Objeto
e'
Objeto
SIZE
Unidade de Medida
(s) a
medida
de
Fisico
e'
Fisico
SIZE
Unidade de Medida
(s)
Objeto
SIZE e'
maior
que
Fisico
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 25710-25725
Objeto
e' uma
instancia
imediata de
Classe
Objeto
e' uma
instancia
imediata de
Classe
ColdTemperature
e' um
atributo
de
Objeto
HotTemperature
e' um
atributo
de
Objeto
Numero Real
Numero Real
and
Unidade de Medida
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e' uma
instancia
de
Medida de Temperatura
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Temperatura
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Agente Cognitivo
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validPaymentType
PricingScheme
and
Payment
o argumento
Payment
MENT
Payment
MENT e' uma
instancia
de
Payment
Payment
MENT e' um
sub
-processo de
Processo
tem a
forca
modal
de
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
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
tem como
origem
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
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
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
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
productPrice
Entidade
,
Numero Real
Unidade de Medida
(s) and
Agente Cognitivo
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
publishedPrice
Entidade
,
Numero Real
Unidade de Medida
(s),
Agente Cognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
Entidade
Processo
e' uma
instancia
de
Comprar
AutonomousAgent
e' uma
instancia
imediata de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Agente Cognitivo
Numero Real
e'
menos
que
Numero Real
o argumento
transactionAmount
Processo
and
Numero Real
tem a
forca
modal
de
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
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
Entidade
e' uma
instancia
imediata de
Classe
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e'
igual
a
Classe
Entidade
e' uma
instancia
de
Classe
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
Oversized
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
imediata de
Classe
Classe
e' uma
sub
-classe de
HotelUnit
Fisico
Numero Real
,
Numero Real
and
Unidade de Medida
Fisico
e' uma
instancia
imediata de
Classe
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
maior
que
Numero Real
(=>
(
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
negotiatedPrice
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
agreementClause
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
,
Obligation
,
Agreement
and
Agente Cognitivo
(=>
(
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
negotiatedPrice
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
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 15015-15023
Colecao
e' uma
instancia
de
Industry
Fisico
Fisico
and
Classe
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Classe
e' uma
sub
-classe de
Empresa
Fisico
e' uma
instancia
imediata de
Classe
Fisico
e' uma
instancia
imediata de
Classe
(=>
(
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
productPrice
Entidade
,
Medida de Divisa
and
Agente Cognitivo
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
imediata de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
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