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
Il numero 1 argomenti di
immediateInstance
è un
istanza
di
Entit�
(
domain
immediateInstance
2
Class
)
Merge.kif 91-91
Il numero 2 argomenti di
immediateInstance
è un
istanza
di
Classe
(
instance
immediateInstance
AsymmetricRelation
)
Merge.kif 92-92
immediateInstance
è un'
istanza
di
RelazioneAsimmetrica
(
instance
immediateInstance
IntransitiveRelation
)
Merge.kif 93-93
immediateInstance
è un'
istanza
di
RelazioneIntransitiva
(
subrelation
immediateInstance
instance
)
Merge.kif 89-89
immediateInstance
è una
sottorelazione
di
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
attribute
Oggetto
and
Oversized
%è una
istanza
immediata %2
Classe
è una
sottoclasse
di
HotelUnit
Entit�Concreta
NumeroReale
,
NumeroReale
and
Unit�DiMisura
%è una
istanza
immediata %2
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
Oversized
Oggetto
SIZE
NumeroReale
and
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
la
misura
Oggetto
è
Oggetto
SIZE
Unit�DiMisura
(s la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
Oggetto
SIZE è
pi
ù grande di
NumeroReale
(=>
(
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 25755-25770
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
ColdTemperature
attribute
Oggetto
and
HotTemperature
NumeroReale
NumeroReale
and
Unit�DiMisura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Processo
Processo
si
originas in
AgenteCognitivo
publishedPrice
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validPaymentType
PricingScheme
and
Payment
l'affermazione
Payment
MENT
Payment
MENT è un'
istanza
di
Payment
Payment
MENT è un
sottoprocesso
di
Processo
ha il modello di forza di
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
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
Entit�
Entit�
si
originas in
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validityPeriod
PricingScheme
and
IntervalloTemporale
l'affermazione
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
vales
durante
IntervalloTemporale
(=>
(
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
Entit�
,
NumeroReale
Unit�DiMisura
(s and
AgenteCognitivo
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
publishedPrice
Entit�
,
NumeroReale
Unit�DiMisura
(s,
AgenteCognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
Entit�
Processo
è un'
istanza
di
Acquistare
%è una
istanza
immediata %2
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AgenteCognitivo
NumeroReale
è
meno
di
NumeroReale
l'affermazione
transactionAmount
Processo
and
NumeroReale
ha il modello di forza di
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
FunzioneDiQuantit�
is
uguale
a
PerFn
MisuraMonetaria
and la
misura
NumeroReale
è
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
%è una
istanza
immediata %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
esistes
durante
NumeroReale
INT
IntervalloTemporale
NumeroReale
NumeroReale
INT has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
AgenteCognitivo
ScambioFinanziario
è un
agente
di
AutonomousAgent
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
%è una
istanza
immediata %2
Classe
Classe
è una
sottoclasse
di
Classe
Classe
is
uguale
a
Classe
Entit�
è un'
istanza
di
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
attribute
Oggetto
and
Oversized
%è una
istanza
immediata %2
Classe
è una
sottoclasse
di
HotelUnit
Entit�Concreta
NumeroReale
,
NumeroReale
and
Unit�DiMisura
%è una
istanza
immediata %2
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
agreementClause
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata %2
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
,
Obligation
,
Agreement
and
AgenteCognitivo
(=>
(
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
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata
Promise
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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 15043-15051
InsiemeConcreto
è un'
istanza
di
Industry
Entit�Concreta
Entit�Concreta
and
Classe
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Classe
è una
sottoclasse
di
Corporazione
%è una
istanza
immediata %2 %è una
istanza
immediata %2
(=>
(
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
Entit�
,
MisuraMonetaria
and
AgenteCognitivo
l'affermazione
Entit�
è un'
istanza
di
Vendere
%è una
istanza
immediata
Likely
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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