Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
not
Sigma KEE - not
not
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1835-1845
工程
は
Withdrawal
の
instance
では
FinancialAccount
は
FinancialAccount
の
instance
では
工程
は
CurrencyFn
FinancialAccount
から
originate
s
工程
工程
は
Penalty
の
instance
では
工程
は
CurrencyFn
FinancialAccount
に
end
s
工程
は
工程
を
cause
s
liquidity
FinancialAccount
and
HighLiquidity
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17429-17437
エンティティー
は
人[人間]
の
instance
では
エンティティー
エンティティー
は
エンティティー
を
employ
ない は
時間位置
の
during
holds
Unemployed
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
OrganizationOfPetroleumExportingCountries
の
member
では
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
FamilyStylePortion
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は
実数
の
測定単位
(s) では
FamilyStylePortion
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は
実数
の
測定単位
(s) では
オブジェクト
は
クラス
の
instance
では
オブジェクト
は
クラス
の
instance
では
測定単位
は
測定単位
の
instance
では
実数
は
実数
より
greater
では
(=>
(
and
(
attribute
?G ?H)
(
instance
?G
Substance
)
(
instance
?H
HazardousMaterialTransportAttribute
)
(
not
(
attribute
?G
HazardousExplosives
))
(
not
(
attribute
?G
HazardousGases
))
(
not
(
attribute
?G
FlammableLiquid
))
(
not
(
attribute
?G
FlammableSolid
))
(
not
(
attribute
?G
OxidizingSubstance
))
(
not
(
attribute
?G
ToxicandInfectiousSubstance
))
(
not
(
attribute
?G
RadioactiveSubstance
))
(
not
(
attribute
?G
CorrosiveSubstance
)))
(
equal
?H
HazardousMiscellaneous
))
Transportation.kif 4330-4343
属性
は
オブジェクト
の
attribute
では
オブジェクト
は
物質
の
instance
では
属性
は
HazardousMaterialTransportAttribute
の
instance
では
HazardousExplosives
は
オブジェクト
の
attribute
では
HazardousGases
は
オブジェクト
の
attribute
では
FlammableLiquid
は
オブジェクト
の
attribute
では
FlammableSolid
は
オブジェクト
の
attribute
では
OxidizingSubstance
は
オブジェクト
の
attribute
では
ToxicandInfectiousSubstance
は
オブジェクト
の
attribute
では
RadioactiveSubstance
は
オブジェクト
の
attribute
では
CorrosiveSubstance
は
オブジェクト
の
attribute
では
equal
属性
and
HazardousMiscellaneous
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
Anemia
は
オブジェクト
の
attribute
では
オブジェクト
は
血
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
Female
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は 0.1 の
Liter
(s) では
オブジェクト
E は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
の
part
では
オブジェクト
E2 は
Hemoglobin
の
instance
では
equal
オブジェクト
E and
オブジェクト
E2
オブジェクト
2 は
オブジェクト
の
part
では
オブジェクト
E の
measure
は
実数
の
Gram
(s) では
実数
は 12 より
less
では
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
Anemia
は
オブジェクト
の
attribute
では
オブジェクト
は
血
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
Male
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は 0.1 の
Liter
(s) では
オブジェクト
E は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
の
part
では
オブジェクト
E2 は
Hemoglobin
の
instance
では
equal
オブジェクト
E and
オブジェクト
E2
オブジェクト
2 は
オブジェクト
の
part
では
オブジェクト
E の
measure
は
実数
の
Gram
(s) では
実数
は 13 より
less
では
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3987-4007
ADHD
は
AutonomousAgent
の
attribute
では
ADHD
は
AutonomousAgent
の
attribute
では
equal
AutonomousAgent
and
AutonomousAgent
工程
は
クラス
の
instance
では
工程
は
クラス
の
instance
では
クラス
は
意図的な心理的プロセス
の
subclass
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
工程
の
agent
では
工程
の
time
の existence の
duration
は
時間分
では
工程
の
time
の existence の
duration
は
時間分
では
ステートメント
時間分
は
時間分
より
greater
では には
Likely
の
modal
force
が ある
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 13868-13878
属性
は
オブジェクト
の
attribute
では
属性
は
Fingerprint
の
instance
では
オブジェクト
は
Finger
の
instance
では
属性
R
オブジェクト
オブジェクト
は
属性
R の
instrument
では
オブジェクト
は
Finger
の
instance
では
属性
は
オブジェクト
の
attribute
では
オブジェクト
は
属性
R の
patient
では
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
凹
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
自己接続オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
と
オブジェクト
間のライン
equal
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Outside
対
自己接続オブジェクト
では
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
凸
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
自己接続オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
と
オブジェクト
間のライン
equal
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Inside
対
自己接続オブジェクト
では
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4521-4538
GeometricFigure
は
オブジェクト
の
attribute
では
オブジェクト
は
FourPosterBed
の
instance
では
GeometricFigure
は
Quadrilateral
の
instance
では
GeometricFigure
の
size
は
OneDimensionalFigure
では
GeometricFigure
の
size
は
OneDimensionalFigure
では
equal
OneDimensionalFigure
and
OneDimensionalFigure
オブジェクト
オブジェクト
,
GeometricPoint
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Floor
の
instance
では
オブジェクト
は
On
対
オブジェクト
では
オブジェクト
は
Vertical
対
オブジェクト
では
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
は
オブジェクト
の
attribute
では
オブジェクト
は
オブジェクト
と
meet
s
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9853-9858
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Above
対
自己接続オブジェクト
では
(=>
(
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
(
capability
?PROCESS ?ROLE ?OBJ)
(
instance
?OBJ
Device
)
(
not
(
attribute
?OBJ
DeviceDamaged
)))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3931-3941
オブジェクト
は
工程
を
格役割
として行う
capable
では
オブジェクト
は
デバイス
の
instance
では
DeviceDamaged
は
オブジェクト
の
attribute
では
ステートメント
エンティティー
エンティティー
は
工程
の
instance
では
格役割
エンティティー
and
オブジェクト
には
Possibility
の
modal
force
が ある
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
concentration
実数
の
測定単位
(s),
物質
,
実数
の
測定単位
2(s) and
混合物
物質
I は
物質
の
instance
では
物質
I は
混合物
の
part
では
物質
I の
measure
は
実数
の
測定単位
3(s) では
物質
I は
混合物
の
part
では
物質
I2 は
物質
の
instance
では
equal
物質
I and
物質
IE2
物質
I2 は
混合物
の
part
では
混合物
の
measure
は
実数
の
測定単位
2(s) では
approximateValue
実数
and
実数
(=>
(
and
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
HeartHealthyFood
は
エンティティー
の
attribute
では が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では の
probability
HeartHealthyFood
は
エンティティー
の
attribute
では が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では の
probability
実数
は
実数
より
less
では
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9690-9696
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
体の部分
,
体の部分
and
物
物
C は
物
の
instance
では
病気または症候群
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
体の部分
の
instance
では
オブジェクト
は
体の部分
の
instance
では
equal
オブジェクト
and
オブジェクト
オブジェクト
は
物
C の
part
では
オブジェクト
は
物
C の
part
では
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 469-477
@ROW は の
disjoint
では
equal
属性
and (@ROW) の
エンティティー
element
equal
属性
and (@ROW) の
エンティティー
element
equal
正の整数
and
正の整数
エンティティー
には
attribute
属性
エンティティー
には
attribute
属性
ない
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
customer
認識エージェント
and
AutonomousAgent
corkageFee
通貨測定
,
オブジェクト
and
AutonomousAgent
オブジェクト
は
オブジェクト
の
instance
では
工程
工程
は
購買
の
instance
では
オブジェクト
は
工程
の
patient
では
工程
は
認識エージェント
に
end
s
工程
は
AutonomousAgent
から
originate
s
工程
は
飲酒
の
instance
では
認識エージェント
は
工程
の
agent
では
オブジェクト
は
工程
の
resource
では
工程
工程
は
Corkage
の
instance
では
認識エージェント
は
工程
の
agent
では
工程
は
オブジェクト
への
reference
を includes
工程
は
AutonomousAgent
に
end
s
(=>
(
and
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1358-1369
エンジニアリング部品
は
Internet
の
component
では
エンジニアリング部品
は
Internet
の
component
では
equal
エンジニアリング部品
and
エンジニアリング部品
Internet
は
エンティティー
エンティティー
は
コミュニケーション
の
instance
では
エンジニアリング部品
は
エンティティー
の
agent
では
エンティティー
は
エンジニアリング部品
に
end
s
Internet
は
エンティティー
の
instrument
では の 目的
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4889-4900
equal
@ROW の
greatest
公約数 and
整数
equal
整数
and 0
整数
整数
は (@ROW) の
member
では
equal
整数
を
整数
で割った剰余数 and 0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4902-4916
equal
@ROW の
greatest
公約数 and
整数
equal
整数
and 0
整数
整数
は
整数
より
greater
では
整数
整数
は (@ROW) の
member
では
equal
整数
を
整数
で割った剰余数 and 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4974-4984
equal
@ROW の
least
公倍数 and
整数
equal
整数
and 0
整数
整数
は (@ROW) の
member
では
equal
整数
を
整数
で割った剰余数 and 0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 32096-32106
エンティティー
は
体の部分
の
instance
では
Bare
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
エンティティー
エンティティー
は
衣類
の
instance
では
covers
エンティティー
and
エンティティー
は
時間位置
の
during
holds
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12620-12627
工程
は
組み合わせ
の
instance
では
オブジェクト
は
工程
の
resource
では
エンティティー
は
工程
の
result
では
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
beginning
の
during
holds
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
end
の
during
holds
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
は
年
EAR
year
目 の
instance
では
equal
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
年
は
整数
year
目 の
instance
では
equal
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
年
は
整数
year
目 の
instance
では
equal
LifeExpectancyAtBirthFn
地政学的地域
and
年
and
実数
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では
リスト
の
length
は
整数
の
instance
では
リスト
ITEM
リスト
ITEM は
リスト
の
member
では
リスト
ITEM は
記号文字列
の
instance
では
エンティティー
エンティティー
は
記号文字列
の
instance
では
エンティティー
は
リスト
の
member
では
equal
整数
and
記号文字列
で記述される
class
の
instances
の数
average
リスト
and
実数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
年
は
整数
year
目 の
instance
では
equal
MigrantsPerThousandFn
地政学的地域
and
年
and
実数
equal
(
整数
+
整数
) and 1
エンティティー
は
整数
year
目 の
instance
では
equal
PopulationFn
地政学的地域
and
実数
は
年
の
during
holds
equal
実数
+ 1000 and
実数
equal
整数
and
エンティティー
class
の
instances
の数
equal
整数
and
エンティティー
class
の
instances
の数
equal
(
整数
+
整数
) and
実数
equal
実数
+
実数
and
実数
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 744-755
PolyphonicMusic
は
オブジェクト
の
attribute
では
工程
工程
オブジェクト
は
MakingMusic
の
instance
では
工程
は
MakingMusic
の
instance
では
工程
は
MakingMusic
の
instance
では
工程
は
オブジェクト
% の
subprocess
では
工程
は
オブジェクト
% の
subprocess
では
equal
工程
and
工程
工程
は
オブジェクト
と同時に
occur
s
工程
は
オブジェクト
と同時に
occur
s
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4951-4960
OpenSea
は
オブジェクト
の
attribute
では
物理
実数
オブジェクト
は
塩水地域
の
instance
では
オブジェクト
は
LandlockedWater
の
instance
では
物理
と
オブジェクト
の
distance
は
実数
の
NauticalMile
(s) では
実数
は 5.0 より
greater
では
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 24702-24717
cousin
人[人間]
and
人[人間]
Woman
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
物
物
物
は
人[人間]
の
mother
では
物
は
人[人間]
の
father
では
物
は
人[人間]
の
mother
では
物
は
人[人間]
の
father
では
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 32141-32154
Alone
は
エンティティー
の
attribute
では は
時間間隔
の
during
holds
エンティティー
2
工程
equal
エンティティー
and
エンティティー
2
エンティティー
2 は
AutonomousAgent
の
instance
では
工程
は
社会的交流
の
instance
では
工程
の
time
の existence は
時間間隔
の
during
に takes
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
2
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 32189-32197
Mute
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds
工程
工程
は
Speaking
の
instance
では
工程
の
time
の existence は
時間間隔
の
during
に takes
AutonomousAgent
は
工程
の
agent
では
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 7415-7425
エンティティー
は
ConjugatedSubstance
の
instance
では
オブジェクト
オブジェクト
and
工程
オブジェクト
は
合成物質
の
instance
では
オブジェクト
は
合成物質
の
instance
では
equal
オブジェクト
and
オブジェクト
工程
は
化学合成
の
instance
では
オブジェクト
は
工程
の
resource
では
オブジェクト
は
工程
の
resource
では
エンティティー
は
工程
の
result
では
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
manner
?P
Harmless
)
(
and
(
not
(
instance
?P
Damaging
))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
subProcess
?P2 ?P))))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
causes
?P ?P2))))))
Mid-level-ontology.kif 32214-32228
工程
は
Harmless
の方法で実行され
工程
は
損害を与える
の
instance
では
工程
2
工程
2 は
損害を与える
の
instance
では
工程
2 は
工程
% の
subprocess
では
工程
2
工程
2 は
損害を与える
の
instance
では
工程
は
工程
2 を
cause
s
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 15221-15228
ステートメント
公式
には
Legal
の
modal
force
が ある
公式
ステートメント
公式
には
Law
の
modal
force
が ある
consistent
公式
and
公式
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17591-17593
ステートメント
公式
には
Necessity
の
modal
force
が ある ステートメント
公式
には
Possibility
の
modal
force
が ない
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17654-17656
ステートメント
公式
には
Obligation
の
modal
force
が ある ステートメント
公式
には
Permission
の
modal
force
が ない
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17690-17692
ステートメント
公式
には
Prohibition
の
modal
force
が ある ステートメント
公式
には
Permission
の
modal
force
が ない
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 10325-10328
オブジェクト
は
Outside
対
オブジェクト
では
オブジェクト
は
partly
に
オブジェクト
に 位置して
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 24793-24800
stepfather
人[人間]
and
Man
人[人間]
人[人間]
は
人[人間]
の
mother
では
spouse
Man
and
人[人間]
Man
は
人[人間]
の
father
では
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 24810-24817
stepmother
人[人間]
and
Woman
人[人間]
人[人間]
は
人[人間]
の
father
では
spouse
Woman
and
人[人間]
Woman
は
人[人間]
の
mother
では
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 15462-15469
agreementClause
命題
,
Prohibition
,
Agreement
and
認識エージェント
認識エージェント
は
エンティティー
エンティティー
は
命題
の内容を
express
es
認識エージェント
は
エンティティー
の
agent
では を 実行する
right
を ない
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 15426-15429
agreementExpirationDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
ない は
時点
の
after
の
during
holds
(=>
(
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
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
albumRelease
Album
and
時点
地理的地域
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
地理的地域
and
時点
時点
地理的地域
and
DataStorageDevice
時点
は
時点
の
before
に happens
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
地理的地域
and
時点
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2548-2552
時間位置
は 3
day
目 の
instance
では
SerbiaAndMontenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
during
holds
appearance as argument number 0
(
not
(
and
(
hasGUEState
?WINDOW
GUE_NonVisibleState
)
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
instance
?WINDOW
InterfaceWindow
)))
ComputerInput.kif 2011-2015
~{
hasGUEState
GUIElement
and
GUE_NonVisibleState
} ~{
hasGUEState
GUIElement
and
GUE_ActiveState
} ~{
GUIElement
は
InterfaceWindow
の
instance
では }
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
は
Cursor
の
instance
では } ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
は
MouseCursor
の
instance
では } ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
(
not
(
equal
BigSix
GroupOf6
))
Government.kif 2876-2876
equal
BigSix
and
GroupOf6
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6124-6131
グラフパス
グラフパス
グラフパス
は
グラフ
を2つの別々のグラフに分割するパスの
set
の
instance
では
グラフパス
は
グラフ
を2つの別々のグラフに分割する最小パスの
set
の
instance
では
グラフパス
の
length
は
正の整数
では
グラフパス
の
length
は
正の整数
では
正の整数
は
正の整数
より
less
では
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3180-3180
Denmark
は
EuropeanMonetaryUnion
の
member
では
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3181-3181
Sweden
は
EuropeanMonetaryUnion
の
member
では
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3182-3182
UnitedKingdom
は
EuropeanMonetaryUnion
の
member
では
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 9058-9058
BeforeCommonEra
は
CommonEra
と
overlap
dない
(
not
(
vegetationType
ArcticRegion
BotanicalTree
))
Geography.kif 3743-3743
vegetationType
ArcticRegion
and
BotanicalTree
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