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
immediateInstance
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
immediateInstance
2
Class
)
Merge.kif 91-91
immediateInstance
の数値 2 引数は
クラス
の
instance
では %n
(
instance
immediateInstance
AsymmetricRelation
)
Merge.kif 92-92
immediateInstance
は
非対称関係
の
instance
では %n
(
instance
immediateInstance
IntransitiveRelation
)
Merge.kif 93-93
immediateInstance
は
非推移関係
の
instance
では %n
(
subrelation
immediateInstance
instance
)
Merge.kif 89-89
immediateInstance
は
instance
の
subrelation
では %n
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
は
オブジェクト
の
attribute
では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
クラス
は
HotelUnit
の
subclass
では %n
物理
実数
,
実数
and
測定単位
物理
は
クラス
の
immediate
の インスタンス では %n
測定単位
は
UnitOfArea
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
面積測定
の
instance
では %n
実数
は
面積測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
物理
は
クラス
の
immediate
の インスタンス では %n
Oversized
は
オブジェクト
の
attribute
では %n
オブジェクト
SIZE
物理
SIZE and
測定単位
測定単位
は
測定単位
の
instance
では %n
オブジェクト
の
measure
は
オブジェクト
SIZE の
測定単位
(s) では %n
物理
の
measure
は
物理
SIZE の
測定単位
(s) では %n
オブジェクト
SIZE は
物理
SIZE より
greater
では %n
(=>
(
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
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
ColdTemperature
は
オブジェクト
の
attribute
では %n
HotTemperature
は
オブジェクト
の
attribute
では %n
実数
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
温度測定
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
温度測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
工程
は
購買
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validPaymentType
PricingScheme
and
Payment
ステートメント
Payment
MENT
Payment
MENT は
Payment
の
instance
では %n
Payment
MENT は
工程
% の
subprocess
では %n には
Likely
の
modal
force
が ある
(=>
(
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
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
ステートメント
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある
(=>
(
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
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validityPeriod
PricingScheme
and
時間間隔
ステートメント
エンティティー
は
販売
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある は
時間間隔
の
during
holds %n{ない}
(=>
(
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
エンティティー
,
実数
の
測定単位
(s) and
認識エージェント
測定単位
は
UnitOfCurrency
の
instance
では %n
publishedPrice
エンティティー
,
実数
の
測定単位
(s),
認識エージェント
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
エンティティー
の
instance
では %n
工程
は
購買
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
immediate
の インスタンス では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
実数
は
実数
より
less
では %n
ステートメント
transactionAmount
工程
and
実数
には
Likely
の
modal
force
が ある
(=>
(
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
物理
,
関数量
,
認識エージェント
and
PricingScheme
関数量
は
PerFn
通貨測定
and
実数
の
measure
は
測定単位
では %n と
equal
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
実数
INT の
during
exists %n{ない}
時間間隔
実数
実数
INT は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
認識エージェント
に
end
s %n{ない}
AutonomousAgent
は
金融取引
の
agent
では %n
transactionAmount
金融取引
and
通貨測定
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
エンティティー
は
クラス
の
immediate
の インスタンス では %n
クラス
クラス
は
クラス
の
subclass
では %n
クラス
は
クラス
と
equal
では
エンティティー
は
クラス
の
instance
では %n
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
は
オブジェクト
の
attribute
では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
クラス
は
HotelUnit
の
subclass
では %n
物理
実数
,
実数
and
測定単位
物理
は
クラス
の
immediate
の インスタンス では %n
測定単位
は
UnitOfArea
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
面積測定
の
instance
では %n
実数
は
面積測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
agreementClause
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
,
Obligation
,
Agreement
and
認識エージェント
(=>
(
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
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
ステートメント
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
に
end
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
には
Promise
の
modal
force
が ある
(=>
(
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
コレクション
は
Industry
の
instance
では %n
物理
物理
and
クラス
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
クラス
は
法人
の
subclass
では %n
物理
は
クラス
の
immediate
の インスタンス では %n
物理
は
クラス
の
immediate
の インスタンス では %n
(=>
(
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
エンティティー
,
通貨測定
and
認識エージェント
ステートメント
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある
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