not
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
コレクション
は
MonoploidChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
Chromosome
は
コレクション
の
member
では %n
Chromosome
は
コレクション
の
member
では %n
Chromosome
は
Chromosome
と
equal
では
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
オブジェクト
は
合成物質
の
instance
では %n
合成物質
は
合成物質
の
subclass
では %n
オブジェクト
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
molecularRatio
単体
,
整数
and
合成物質
コレクション
は
グループ
の
instance
では %n
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
単体
の
instance
では %n
memberCount
コレクション
and
整数
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
オブジェクト
は
Antidiuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
工程
は
DeliveryService
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
deliveryRegion
AutonomousAgent
and
地理的地域
AutonomousAgent
は
工程
の
agent
では %n が
実数
では 場合の
エンティティー
は
地理的地域
に
located
して %n の
probability
AutonomousAgent
は
工程
の
agent
では %n が
実数
では 場合の
エンティティー
は
地理的地域
に
located
して の
probability
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
工程
は
取外し
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectDetached
工程
and
エンティティー
objectDetached
工程
and
エンティティー
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
工程
は
DefensiveInformationOperation
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
enemy
認識エージェント
and
認識エージェント
認識エージェント
が
認識エージェント
は
エンティティー
を
know
s %n{ない} を
desire
s %n{ない}
認識エージェント
が
認識エージェント
は
エンティティー
を
know
ない を
desire
s %n{ない}
工程
は
認識エージェント
は
エンティティー
を
know
ない の 目的 %n{ない}
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
Election
は
PopularElection
の
instance
では %n
electionWinner
Election
,
社会的役割
and
AutonomousAgent
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
AutonomousAgent
は
AutonomousAgent
と
equal
では
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
オブジェクト
は
単体
の
instance
では %n
オブジェクト
は
単体
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
は
化学合成
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
合成物質
の
instance
では %n
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
エンティティー
は
Electromagnet
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
が 発生する
path
では %n は
エンティティー
1 の
during
hold ない
エンティティー
エンティティー
は
Magnetism
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n は
エンティティー
1 の
during
hold ない
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
グラフ
は
グラフ
の
instance
では %n
グラフノード
は
グラフノード
の
instance
では %n
グラフノード
は
グラフノード
の
instance
では %n
グラフノード
は
グラフ
の
part
では %n
グラフノード
は
グラフ
の
part
では %n
グラフノード
は
グラフノード
と
equal
では
グラフアーク
グラフパス
グラフアーク
は
グラフノード
と
グラフノード
を
link
s %n{ない}
グラフパス
は
グラフ
の
subgraph
では %n
グラフパス
は
グラフパス
の
instance
では %n
グラフパス
の
beginning
は
グラフノード
と
equal
では %n
グラフパス
の
end
は
グラフノード
と
equal
では %n
グラフパス
の
beginning
は
グラフノード
と
equal
では %n
グラフパス
の
end
は
グラフノード
と
equal
では %n
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
GUIElement
は
GUIElement
の
instance
では %n
GUIElement
は
GUIElement
の
instance
では %n
GUIElement
は
InterfaceWindow
の
instance
では
GUIElement
は
InterfaceWindow
の
instance
では
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
と
equal
では %n
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
は
物
の
instance
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Leg
の
instance
では %n
オブジェクト
は
Leg
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
オブジェクト
は
霊長類
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
自己接続オブジェクト
は
Isthmus
の
instance
では %n
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
は
自己接続オブジェクト
と
equal
では
オブジェクト
オブジェクト
,
オブジェクト
and
オブジェクト
オブジェクト
は
土地面積
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
と
オブジェクト
の
between
では %n
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
組織
の一部では %n
組織
は
組織
と
equal
では
leaderPosition
組織
and
組織
COMMANDER
leaderPosition
組織
and
組織
COMMANDER
leaderPosition
組織
and
組織
COMMANDER
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
オブジェクト
は
Lever
の
instance
では %n
工程
は
Pushing
の
instance
では %n
物理
は
motion
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
工程
1 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
2 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
オブジェクト
は
工程
3 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
4 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
工程
1 と
工程
2 の
distance
は
実数
の
測定単位
(s) では %n
工程
3 と
工程
4 の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
equal
では
実数
relativeAngle
オブジェクト
,
オブジェクト
and
実数
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
オブジェクト
は
大陸
の
instance
では %n
オブジェクト
は
Antarctica
と
equal
では
Antarctica
は
South
対
オブジェクト
では %n
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
リスト
は
リスト
の
instance
では %n
リスト
は
NullList
と
equal
では
FirstFn
リスト
は
リスト
の 1th
element
と
equal
では %n
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
工程
は
OrganizationalMerging
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
エンティティー
は組織
エンティティー
の一部では %n
エンティティー
は組織
エンティティー
の一部では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
エンティティー
は組織
エンティティー
の一部では %n
エンティティー
は組織
エンティティー
の一部では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
は
SetMenu
の
instance
では %n
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
PreparedFood
の
subclass
では %n
物理
は
クラス
の
instance
では %n
物理
は
エンティティー
の
instance
では %n
物理
は
物理
と
equal
では
price
物理
,
通貨測定
and
AutonomousAgent
price
物理
,
通貨測定
and
AutonomousAgent
通貨測定
は
通貨測定
と
equal
では %n
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
物質
は
混合物
の
instance
では %n
物質
は
物質
の
piece
では %n
物質
は
混合物
の
instance
では
物質
は
純物質
の
instance
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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