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
not
Sigma KEE - not
not
appearance as argument number 2
(
termFormat
ChineseLanguage
not
"不")
domainEnglishFormat.kif 41285-41285
(
termFormat
ChineseTraditionalLanguage
not
"不")
domainEnglishFormat.kif 41284-41284
(
termFormat
EnglishLanguage
not
"not")
domainEnglishFormat.kif 41283-41283
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 1818-1828
工程
は
Withdrawal
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
liquidity
FinancialAccount
and
HighLiquidity
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17325-17333
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
を
employ
ない は
時間位置
の
during
holds %n{ない}
Unemployed
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
は
AutonomousAgent
の
attribute
では %n
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
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
FamilyStylePortion
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
測定単位
は
測定単位
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 12 より
less
では %n
(=>
(
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
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Male
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 13 より
less
では %n
(=>
(
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 3984-4004
ADHD
は
AutonomousAgent
の
attribute
では %n
ADHD
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
は
クラス
の
instance
では %n
工程
は
クラス
の
instance
では %n
クラス
は
意図的な心理的プロセス
の
subclass
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
工程
の
time
の existence の
duration
は
時間分
では %n
ステートメント
時間分
は
時間分
より
greater
では %n には
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 12564-12574
属性
は
オブジェクト
の
attribute
では %n
属性
は
Fingerprint
の
instance
では %n
オブジェクト
は
Finger
の
instance
では
属性
R
オブジェクト
オブジェクト
は
属性
R の
instrument
では %n
オブジェクト
は
Finger
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
属性
R の
patient
では %n
(=>
(
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
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Outside
対
自己接続オブジェクト
では %n
(=>
(
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
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Inside
対
自己接続オブジェクト
では %n
(=>
(
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 4071-4088
GeometricFigure
は
オブジェクト
の
attribute
では %n
オブジェクト
は
FourPosterBed
の
instance
では %n
GeometricFigure
は
Quadrilateral
の
instance
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
OneDimensionalFigure
は
OneDimensionalFigure
と
equal
では
オブジェクト
オブジェクト
,
GeometricPoint
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Floor
の
instance
では %n
オブジェクト
は
On
対
オブジェクト
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9751-9756
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
(=>
(
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 367-385
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では %n
整数
整数
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
整数
の
agent
では %n
時間間隔
は
整数
の
time
の existence の
during
に takes %n{ない}
HumanAdult
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
整数
は 16 より
greater
では %n
整数
は 12 より
less
では %n
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
(=>
(
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
では %n
物質
I は
混合物
の
part
では %n
物質
I の
measure
は
実数
の
測定単位
3(s) では %n
物質
I は
混合物
の
part
では %n
物質
I2 は
物質
の
instance
では
物質
I は
物質
IE2 と
equal
では
物質
I2 は
混合物
の
part
では %n
混合物
の
measure
は
実数
の
測定単位
2(s) では %n
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
では %n が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では %n の
probability
HeartHealthyFood
は
エンティティー
の
attribute
では が
実数
では 場合の
ComfortFood
は
エンティティー
の
attribute
では %n の
probability
実数
は
実数
より
less
では %n
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9590-9596
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s %n{ない}
(=>
(
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
では %n
病気または症候群
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
オブジェクト
と
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 476-484
@ROW は の
disjoint
では %n
属性
は (@ROW) の
エンティティー
element
と
equal
では %n
属性
は (@ROW) の
エンティティー
element
と
equal
では %n
正の整数
は
正の整数
と
equal
では
エンティティー
には
attribute
属性
%n{ない}
エンティティー
には
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
では %n
工程
工程
は
購買
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
飲酒
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
工程
は
Corkage
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
オブジェクト
への
reference
を includes %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
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 1347-1358
エンジニアリング部品
は
Internet
の
component
では %n
エンジニアリング部品
は
Internet
の
component
では %n
エンジニアリング部品
は
エンジニアリング部品
と
equal
では
Internet
は
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
エンジニアリング部品
は
エンティティー
の
agent
では %n
エンティティー
は
エンジニアリング部品
に
end
s %n{ない}
Internet
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4862-4873
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
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 4875-4889
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
greater
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4947-4957
@ROW の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4959-4973
@ROW の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
less
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5131-5143
整数
を
整数
で割った剰余数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
は 0 と
equal
では
整数
は 0 と
equal
では
整数
の
sign
は
整数
の
sign
と
equal
では %n
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 30202-30212
エンティティー
は
体の部分
の
instance
では %n
Bare
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
衣類
の
instance
では %n
covers
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(<=>
(
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 12512-12519
工程
は
組み合わせ
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(<=>
(
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
では %n
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
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
では %n
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
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
では %n
LifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
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
では %n
MigrantsPerThousandFn
地政学的地域
and
年
は
実数
と
equal
では %n (
整数
+
整数
) は 1 と
equal
では %n
エンティティー
は
整数
year
目 の
instance
では %n
PopulationFn
地政学的地域
は
実数
と
equal
では %n は
年
の
during
holds %n{ない}
実数
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n (
整数
+
整数
) は
実数
と
equal
では %n
実数
+
実数
は
実数
と
equal
では %n
(<=>
(
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
では %n
工程
工程
オブジェクト
は
MakingMusic
の
instance
では %n
工程
は
MakingMusic
の
instance
では %n
工程
は
MakingMusic
の
instance
では %n
工程
は
オブジェクト
% の
subprocess
では %n
工程
は
オブジェクト
% の
subprocess
では %n
工程
は
工程
と
equal
では
工程
は
オブジェクト
と同時に
occur
s %n{ない}
工程
は
オブジェクト
と同時に
occur
s %n{ない}
(<=>
(
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 4711-4720
OpenSea
は
オブジェクト
の
attribute
では %n
物理
実数
オブジェクト
は
塩水地域
の
instance
では %n
オブジェクト
は
LandlockedWater
の
instance
では
物理
と
オブジェクト
の
distance
は
実数
の
NauticalMile
(s) では %n
実数
は 5.0 より
greater
では %n
(<=>
(
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 23113-23128
cousin
人[人間]
and
人[人間]
Woman
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
grandmother
人[人間]
and
Woman
grandfather
人[人間]
and
Man
物
物
物
は
人[人間]
の
mother
では %n
物
は
人[人間]
の
father
では %n
物
は
人[人間]
の
mother
では %n
物
は
人[人間]
の
father
では %n
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30156-30164
Barefoot
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
Shoe
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30169-30177
Naked
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
衣類
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(<=>
(
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 30247-30260
Alone
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
2
工程
エンティティー
は
エンティティー
2 と
equal
では
エンティティー
2 は
AutonomousAgent
の
instance
では %n
工程
は
社会的交流
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
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 30295-30303
Mute
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
Speaking
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(<=>
(
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 6472-6482
エンティティー
は
ConjugatedSubstance
の
instance
では %n
オブジェクト
オブジェクト
and
工程
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
は
化学合成
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
(<=>
(
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 30320-30334
工程
は
Harmless
の方法で実行され %n
工程
は
損害を与える
の
instance
では
工程
2
工程
2 は
損害を与える
の
instance
では %n
工程
2 は
工程
% の
subprocess
では %n
工程
2
工程
2 は
損害を与える
の
instance
では %n
工程
は
工程
2 を
cause
s %n{ない}
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13877-13884
ステートメント
公式
には
Legal
の
modal
force
が ある
公式
ステートメント
公式
には
Law
の
modal
force
が ある
consistent
公式
and
公式
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17487-17489
ステートメント
公式
には
Necessity
の
modal
force
が ある ステートメント
公式
には
Possibility
の
modal
force
が ない %p{ある}
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17550-17552
ステートメント
公式
には
Obligation
の
modal
force
が ある ステートメント
公式
には
Permission
の
modal
force
が ない %p{ある}
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17586-17588
ステートメント
公式
には
Prohibition
の
modal
force
が ある ステートメント
公式
には
Permission
の
modal
force
が ない %p{ある}
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 9146-9149
オブジェクト
は
Outside
対
オブジェクト
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23204-23211
stepfather
人[人間]
and
Man
人[人間]
人[人間]
は
人[人間]
の
mother
では %n
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 23221-23228
stepmother
人[人間]
and
Woman
人[人間]
人[人間]
は
人[人間]
の
father
では %n
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 14118-14125
agreementClause
命題
,
Prohibition
,
Agreement
and
認識エージェント
認識エージェント
は
エンティティー
エンティティー
は
命題
の内容を
express
es %n{ない}
認識エージェント
は
エンティティー
の
agent
では %n を 実行する
right
を ない
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14082-14085
agreementExpirationDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
ない は
時点
の
after
の
during
holds %n{ない}
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 2546-2550
時間位置
は 3
day
目 の
instance
では %n
SerbiaAndMontenegro
は
IndependentState
の
instance
では は
時間位置
の
after
の
during
holds %n{ない}
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
では %n }
(
not
(
and
(
instance
?CURSOR
Cursor
)
(
hasGUEState
?CURSOR
GUE_SelectedState
)))
ComputerInput.kif 2226-2229
~{
GUIElement
は
Cursor
の
instance
では %n } ~{
hasGUEState
GUIElement
and
GUE_SelectedState
}
(
not
(
and
(
instance
?CURSOR
MouseCursor
)
(
hasGUEState
?CURSOR
GUE_ActiveState
)))
ComputerInput.kif 1952-1955
~{
GUIElement
は
MouseCursor
の
instance
では %n } ~{
hasGUEState
GUIElement
and
GUE_ActiveState
}
(
not
(
equal
BigSix
GroupOf6
))
Government.kif 2879-2879
BigSix
は
GroupOf6
と
equal
では
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6100-6107
グラフパス
グラフパス
グラフパス
は
グラフ
を2つの別々のグラフに分割するパスの
set
の
instance
では %n
グラフパス
は
グラフ
を2つの別々のグラフに分割する最小パスの
set
の
instance
では %n
グラフパス
の
length
は
正の整数
では %n
グラフパス
の
length
は
正の整数
では %n
正の整数
は
正の整数
より
less
では %n
(
not
(
member
Denmark
EuropeanMonetaryUnion
))
Government.kif 3183-3183
Denmark
は
EuropeanMonetaryUnion
の
member
では
(
not
(
member
Sweden
EuropeanMonetaryUnion
))
Government.kif 3184-3184
Sweden
は
EuropeanMonetaryUnion
の
member
では
(
not
(
member
UnitedKingdom
EuropeanMonetaryUnion
))
Government.kif 3185-3185
UnitedKingdom
は
EuropeanMonetaryUnion
の
member
では
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7918-7918
BeforeCommonEra
は
CommonEra
と
overlap
dない
(
not
(
vegetationType
ArcticRegion
BotanicalTree
))
Geography.kif 3585-3585
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