Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
or
Sigma KEE - or
or
antecedent
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 26375-26382
PostalPlace
は
地政学的地域
に
located
して
PostalPlace
は
PostalPlace
の
instance
では
地政学的地域
は
国民
の
instance
では
地政学的地域
は
DependencyOrSpecialSovereigntyArea
の
instance
では
postCountry
PostalPlace
and
地政学的地域
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 15450-15460
agreementClause
命題
,
義務的な属性
,
Agreement
and
認識エージェント
equal
義務的な属性
and
Obligation
equal
義務的な属性
and
Promise
ステートメント
エンティティー
エンティティー
は
命題
の内容を
express
es
認識エージェント
は
エンティティー
の
agent
では には
Likely
の
modal
force
が ある
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
ToxicandInfectiousSubstance
は
オブジェクト
の
attribute
では
オブジェクト
は
物質
の
instance
では
オブジェクト
は
微生物
の
instance
では
AutonomousAgent
工程
,
工程
and
工程
AutonomousAgent
は
人[人間]
の
instance
では
AutonomousAgent
は
動物
の
instance
では
オブジェクト
は
Near
対
AutonomousAgent
では
工程
は
Inhaling
の
instance
では
工程
は
摂取
の
instance
では
工程
は
接触
の
instance
では
AutonomousAgent
は
工程
の
agent
では
オブジェクト
は
工程
の
patient
では
工程
は
工程
を
cause
s
AutonomousAgent
は
工程
の
patient
では
工程
は
工程
の
instance
では
オブジェクト
は
工程
を
resource
として行う
capable
では
工程
は
けが
の
subclass
では
工程
は
死
の
subclass
では
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 28057-28069
WheelchairAccessible
は
オブジェクト
の
attribute
では
オブジェクト
は
建物
の
instance
では
オブジェクト
は
部屋
の
instance
では
ステートメント
エンティティー
エンティティー
エンティティー
は
motion
の
instance
では
エンティティー
は
エンティティー
の
instrument
では
エンティティー
は
Wheelchair
の
instance
では
eventLocated
エンティティー
and
オブジェクト
には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 738-748
Writer
は
AutonomousAgent
の
attribute
では
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では
コンテンツベアリングオブジェクト
は
テキスト
の
subclass
では
コンテンツベアリングオブジェクト
は
Document
の
subclass
では
工程
は
執筆
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
result
では
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 355-373
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では
整数
整数
は
レクリエーションまたは運動
の
instance
では
AutonomousAgent
は
整数
の
agent
では
時間間隔
は
整数
の
time
の existence の
during
に takes
HumanAdult
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds
整数
は 16 より
greater
では
整数
は 12 より
less
では
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2352-2361
electricityConsumptionInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
時間位置
時間位置
は
時間間隔
の
instance
では
annualElectricityConsumption
地政学的地域
and
物理量
は
時間位置
の
during
holds
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2396-2405
electricityExportInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
時間位置
時間位置
は
時間間隔
の
instance
では
annualElectricityExport
地政学的地域
and
物理量
は
時間位置
の
during
holds
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2442-2451
electricityImportInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
時間位置
時間位置
は
時間間隔
の
instance
では
annualElectricityImport
地政学的地域
and
物理量
は
時間位置
の
during
holds
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 2220-2229
electricityProductionInPeriod
地政学的地域
,
物理量
and
時間間隔
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
時間位置
時間位置
は
時間間隔
の
instance
では
annualElectricityProduction
地政学的地域
and
物理量
は
時間位置
の
during
holds
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 6018-6031
equal
グラフパス
の
value
and
実数
グラフアーク
は
グラフパス
の
part
では
グラフアーク
は
グラフパス
の
part
では
グラフアーク
の
value
は
実数
では
グラフアーク
の
value
は
実数
では
グラフ要素
グラフ要素
は
グラフパス
の
part
では
equal
グラフ要素
and
グラフアーク
equal
グラフ要素
and
グラフアーク
equal
グラフパス
の
value
and (
実数
+
実数
)
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 6004-6016
equal
グラフパス
の
value
and
実数
グラフパス
は
グラフパス
の
subgraph
では
グラフアーク
は
グラフパス
の
part
では
グラフアーク
の
value
は
実数
では
グラフ要素
グラフ要素
は
グラフパス
の
part
では
グラフ要素
は
グラフパス
の
part
では
equal
グラフ要素
and
グラフアーク
equal
実数
and (
グラフパス
の
value
+
実数
)
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4870-4881
equal
オブジェクト
and
OrganicObjectFn
オブジェクト
オブジェクト
は
OilFromPlant
の
subclass
では
オブジェクト
は
Seed
の
subclass
では
オブジェクト
は
Fruit
の
subclass
では
オブジェクト
オブジェクト
は
顕花植物
の
subclass
では
initialPart
オブジェクト
and
オブジェクト
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2517-2526
exportTotalInPeriod
地政学的地域
,
通貨測定
and
時間間隔
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
時間位置
時間位置
は
時間間隔
の
instance
では
annualExportTotal
地政学的地域
and
通貨測定
は
時間位置
の
during
holds
(=>
(
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 847-868
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
工程
は
Renting
の
instance
では
エンティティー
は
工程
の
patient
では
工程
は
認識エージェント
に
end
s
オブジェクト
は
物理
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では
認識エージェント
は
オブジェクト
の
agent
では
認識エージェント
が
オブジェクト
を
experience
s
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
オブジェクト
の
instance
では
認識エージェント
は
オブジェクト
を
use
s
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
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 548-563
freePropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では
認識エージェント
は
工程
の
agent
では
認識エージェント
が
工程
を
experience
s
AutonomousAgent
は
工程
を
possess
es
工程
は
オブジェクト
の
instance
では
認識エージェント
は
工程
を
use
s
price
工程
, 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
freeRoomAmenity
HotelUnit
and
物理
物理
は
オブジェクト
の
subclass
では
TemporaryResidence
は
HotelUnit
の
instance
では
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
オブジェクト
は
物理
の
instance
では
オブジェクト
は
TemporaryResidence
に
located
して
工程
は
工程
の
instance
では
人[人間]
は
工程
の
agent
では
オブジェクト
は
工程
の
patient
では
オブジェクト
は
工程
の
instrument
では
オブジェクト
は
工程
の
resource
では
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
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
freeRoomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では
TemporaryResidence
は
HotelUnit
の
instance
では
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
人[人間]
は
工程
の
patient
では
工程
は
物理
の
instance
では
工程
は
物理
の
instance
では
工程
は
工程
% の
subprocess
では
工程
は
TemporaryResidence
に
located
して
price
工程
, 0.0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1873-1895
LateralRecumbant
は
オブジェクト
の
attribute
では
オブジェクト
は
On
対
オブジェクト
では は
時間位置
の
during
holds
オブジェクト
は
LeftArm
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
RightArm
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
LeftLeg
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
RightLeg
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
オブジェクト
と
meet
s
オブジェクト
は
オブジェクト
と
meet
s
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1897-1919
LateralRecumbant
は
オブジェクト
の
attribute
では
オブジェクト
は
On
対
オブジェクト
では は
時間位置
の
during
holds
オブジェクト
は
LeftArm
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
RightArm
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
LeftLeg
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
RightLeg
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
オブジェクト
と
meet
s
オブジェクト
は
オブジェクト
と
meet
s
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2363-2370
annualElectricityConsumption
地政学的地域
and
物理量
は
時間位置
の
during
holds
時間位置
は
時間間隔
の
instance
では
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
electricityConsumptionInPeriod
地政学的地域
,
物理量
and
時間間隔
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2407-2414
annualElectricityExport
地政学的地域
and
物理量
は
時間位置
の
during
holds
時間位置
は
時間間隔
の
instance
では
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
electricityExportInPeriod
地政学的地域
,
物理量
and
時間間隔
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2453-2460
annualElectricityImport
地政学的地域
and
物理量
は
時間位置
の
during
holds
時間位置
は
時間間隔
の
instance
では
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
electricityImportInPeriod
地政学的地域
,
物理量
and
時間間隔
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2231-2238
annualElectricityProduction
地政学的地域
and
物理量
は
時間位置
の
during
holds
時間位置
は
時間間隔
の
instance
では
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
electricityProductionInPeriod
地政学的地域
,
物理量
and
時間間隔
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2528-2535
annualExportTotal
地政学的地域
and
通貨測定
は
時間位置
の
during
holds
時間位置
は
時間間隔
の
instance
では
時間間隔
は
年
の
subclass
では
時間間隔
は
FiscalYearFn
地政学的地域
の
subclass
では
exportTotalInPeriod
地政学的地域
,
通貨測定
and
時間間隔
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
equal
(
AbsoluteValueFn
?NUMBER1) ?NUMBER2)
(
instance
?NUMBER1
RealNumber
)
(
instance
?NUMBER2
RealNumber
))
(
or
(
and
(
instance
?NUMBER1
NonnegativeRealNumber
)
(
equal
?NUMBER1 ?NUMBER2))
(
and
(
instance
?NUMBER1
NegativeRealNumber
)
(
equal
?NUMBER2
(
SubtractionFn
0.0 ?NUMBER1)))))
Merge.kif 4796-4807
equal
実数
の
absolute
value
and
非負実数
実数
は
実数
の
instance
では
非負実数
は
実数
の
instance
では
実数
は
非負実数
の
instance
では
equal
実数
and
非負実数
実数
は
負の実数
の
instance
では
equal
非負実数
and (0.0 +
実数
)
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1362-1366
Queen
は
オブジェクト
の
attribute
では
QueenRegnant
は
オブジェクト
の
attribute
では
QueenConsort
は
オブジェクト
の
attribute
では
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1611-1617
LegalAgent
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
エンティティー
は
訴訟
を
agent
として行う
capable
では
エンティティー
は
訴訟
を
patient
として行う
capable
では は
時間位置
の
during
holds
(<=>
(
instance
?BONE
Bone
)
(
exists
(?SKELETON)
(
and
(
or
(
instance
?SKELETON
Skeleton
)
(
instance
?SKELETON
Exoskeleton
))
(
part
?BONE ?SKELETON))))
Mid-level-ontology.kif 13013-13020
オブジェクト
は
骨
の
instance
では
オブジェクト
オブジェクト
は
Skeleton
の
instance
では
オブジェクト
は
Exoskeleton
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
(<=>
(
instance
?CONTINENT
Continent
)
(
or
(
equal
Africa
?CONTINENT)
(
equal
NorthAmerica
?CONTINENT)
(
equal
SouthAmerica
?CONTINENT)
(
equal
Antarctica
?CONTINENT)
(
equal
Europe
?CONTINENT)
(
equal
Asia
?CONTINENT)
(
equal
Oceania
?CONTINENT)))
Geography.kif 3662-3671
エンティティー
は
大陸
の
instance
では
equal
Africa
and
エンティティー
equal
NorthAmerica
and
エンティティー
equal
SouthAmerica
and
エンティティー
equal
Antarctica
and
エンティティー
equal
Europe
and
エンティティー
equal
Asia
and
エンティティー
equal
Oceania
and
エンティティー
(<=>
(
instance
?HEMISPHERE
Hemisphere
)
(
or
(
equal
?HEMISPHERE
NorthernHemisphere
)
(
equal
?HEMISPHERE
SouthernHemisphere
)
(
equal
?HEMISPHERE
EasternHemisphere
)
(
equal
?HEMISPHERE
WesternHemisphere
)))
Geography.kif 3646-3652
エンティティー
は
Hemisphere
の
instance
では
equal
エンティティー
and
NorthernHemisphere
equal
エンティティー
and
SouthernHemisphere
equal
エンティティー
and
EasternHemisphere
equal
エンティティー
and
WesternHemisphere
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
組織
は
GovernmentOrganization
の
instance
では
組織
は
政府
の
instance
では
組織
組織
は
政府
の
instance
では
組織
は組織
組織
の一部では
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1877-1881
実数
は
実数
より
less
または同等 では
equal
実数
and
実数
実数
は
実数
より
less
では
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17278-17282
オブジェクト
は
Adjacent
対
オブジェクト
では
オブジェクト
は
Near
対
オブジェクト
では
オブジェクト
は
オブジェクト
と
connected
して
(<=>
(
orientation
?OBJ1 ?OBJ2
Below
)
(
or
(
orientation
?OBJ2 ?OBJ1
On
)
(
orientation
?OBJ2 ?OBJ1
Above
)))
Merge.kif 17266-17270
オブジェクト
は
Below
対
オブジェクト
では
オブジェクト
は
On
対
オブジェクト
では
オブジェクト
は
Above
対
オブジェクト
では
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 701-716
agreementRevisionDate
命題
,
時間位置
and
命題
時間位置
時間位置
は
時間位置
の
instance
では
命題
は
命題
の
sub
-proposition では は
時間位置
の immediately
before
の
during
holds
命題
は
命題
の
sub
-proposition では は
時間位置
の すぐ
after
の
during
holds
命題
は
命題
の
sub
-proposition では は
時間位置
の immediately
before
の
during
holds
命題
は
命題
の
sub
-proposition では は
時間位置
の すぐ
after
の
during
holds
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 657-669
amountDue
FinancialAccount
,
通貨測定
and
時間位置
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 33332-33339
applicableRelation
オブジェクト
and
関係
オブジェクト
は
オブジェクト
C の
instance
では
関係
の数値 1 引数は
クラス
の
instance
では
equal
オブジェクト
C and
クラス
オブジェクト
C は
クラス
の
subclass
では
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
ToxicandInfectiousSubstance
は
オブジェクト
の
attribute
では
オブジェクト
は
物質
の
instance
では
オブジェクト
は
微生物
の
instance
では
AutonomousAgent
工程
,
工程
and
工程
AutonomousAgent
は
人[人間]
の
instance
では
AutonomousAgent
は
動物
の
instance
では
オブジェクト
は
Near
対
AutonomousAgent
では
工程
は
Inhaling
の
instance
では
工程
は
摂取
の
instance
では
工程
は
接触
の
instance
では
AutonomousAgent
は
工程
の
agent
では
オブジェクト
は
工程
の
patient
では
工程
は
工程
を
cause
s
AutonomousAgent
は
工程
の
patient
では
工程
は
工程
の
instance
では
オブジェクト
は
工程
を
resource
として行う
capable
では
工程
は
けが
の
subclass
では
工程
は
死
の
subclass
では
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 363-374
属性
は
AutonomousAgent
の
attribute
では
属性
は
CommissionedOfficerRank
の
instance
では
工程
オブジェクト
工程
は
管理
の
instance
では
AutonomousAgent
は
工程
の
agent
では
オブジェクト
は
工程
の
patient
では
オブジェクト
は
MilitaryOrganization
の
instance
では
Soldier
は
オブジェクト
の
attribute
では
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2898-2914
FOKOrder
は
Agreement
の
attribute
では
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
を
start
s
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
を
start
s
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2934-2950
GTCOrder
は
Agreement
の
attribute
では
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
と
overlap
s
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
を
finish
es
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2871-2887
IOCOrder
は
Agreement
の
attribute
では
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
を
start
s
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では
Agreement
は
工程
の
patient
では
equal
工程
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
を
start
s
(=>
(
and
(
attribute
?X
BlueforceControlled
)
(
instance
?X
Object
))
(
exists
(?A)
(
and
(
instance
?A
GovernmentOrganization
)
(
possesses
?A ?X)
(
or
(
subOrganization
?A
(
GovernmentFn
UnitedStates
))
(
allied
?A
(
GovernmentFn
UnitedStates
))))))
MilitaryProcesses.kif 2808-2820
BlueforceControlled
は
オブジェクト
の
attribute
では
オブジェクト
は
オブジェクト
の
instance
では
組織
組織
は
GovernmentOrganization
の
instance
では
組織
は
オブジェクト
を
possess
es
組織
は組織
UnitedStates
の
government
の一部では
allied
組織
and
UnitedStates
の
government
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 27646-27659
Multilingual
は
AutonomousAgent
の
attribute
では
工程
は
Speaking
の
instance
では
AutonomousAgent
は
工程
の
agent
では
ステートメント
エンティティー
エンティティー
エンティティー
は
SpokenHumanLanguage
の
instance
では
エンティティー
は
SpokenHumanLanguage
の
instance
では
equal
エンティティー
and
エンティティー
エンティティー
は
工程
の
patient
では
エンティティー
は
工程
の
patient
では には
Possibility
の
modal
force
が ある
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13994-14007
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では
エンティティー
の
measure
は
実数
の
測定単位
(s) では は
時間間隔
の
during
holds
測定単位
は
UnitOfTemperature
の
instance
では
実数
は
実数
greater
では
Gas
は
エンティティー
の
attribute
では は
時間間隔
の
during
holds
工程
時間間隔
は
工程
の
time
の existence と
overlap
s
工程
は
沸騰
の
instance
では
エンティティー
は
工程
の
patient
では
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2403-2418
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
認識エージェント
を
employ
s
TravelerAccommodation
は
AutonomousAgent
の
attribute
では
Porter
は
認識エージェント
の
attribute
では
認識エージェント
は
オブジェクト
を
possess
es
オブジェクト
は
TravelContainer
の
instance
では
オブジェクト
工程
オブジェクト
は
HotelUnit
の
instance
では
工程
は
Carrying
の
instance
では
認識エージェント
は
工程
の
agent
では
工程
は
オブジェクト
に
end
s
工程
は
オブジェクト
から
originate
s
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
オブジェクト
の
subclass
では
エンティティー
は
物理
の
instance
では
AutonomousAgent
は
認識エージェント
が
エンティティー
エンティティー
は
工程
の
instance
では
エンティティー
は
エンティティー
の
resource
では
エンティティー
は
エンティティー
の
instrument
では
エンティティー
は
エンティティー
の
patient
では
認識エージェント
は
エンティティー
の
agent
では
認識エージェント
が
エンティティー
を
experience
s のタスクを実行することはを
allow
s
(=>
(
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
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
AutonomousAgent
は
エンティティー
の
agent
では
認識エージェント
は
エンティティー
の
patient
では
エンティティー
は
物理
の
instance
では
エンティティー
は
物理
の
instance
では
エンティティー
は
エンティティー
% の
subprocess
では
エンティティー
は
エンティティー
に
located
して には
Possibility
の
modal
force
が ある
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 215-221
関係
の数値
正の整数
引数は
クラス
の
instance
では
関係
の数値
正の整数
引数は
クラス
の
instance
では
クラス
は
クラス
の
subclass
では
クラス
は
クラス
の
subclass
では
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 1001-1014
equal
ReachingMilitaryAgeAnnuallyMaleFn
地政学的地域
and
年
and
エンティティー
class
の
instances
の数
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