located
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
オブジェクト
は
TriploidCell
の
instance
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 4
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
TetraploidCell
の
instance
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 6
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
HexaploidCell
の
instance
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 2
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
DiploidCell
の
instance
では %n
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 907-913
物理
は
HomologousChromosomeSet
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
DiploidCell
の
instance
では %n
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
MonoploidChromosomeSet
は
MonoploidChromosomeSet
と
equal
では
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
(=>
(
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
?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
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
工程
は
Discovering
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
工程
は
学習
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
patient
では %n
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
Crankcase
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeTransfer
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeIntake
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では
地政学的地域
は
地政学的地域
の
geopolitical
部分では
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
物理
は
地政学的地域
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
オブジェクト
は
Faucet
の
instance
では %n
工程
は
LiquidMotion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
located
して %n
エンティティー
エンティティー
は
Tube
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 9061-9065
オブジェクト
は
FlowRegion
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
Fluid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
オブジェクト
は
Gene
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
細胞
の
instance
では %n
工程
オブジェクト
and
オブジェクト
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
工程
の
result
では %n
オブジェクト
は
Nucleotide
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RNAMolecule
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
工程
は
Hurricane
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
NortheasternPacificOcean
と
equal
では %n
オブジェクト
は
NorthAtlanticOcean
と
equal
では %n
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
物理
は
HeartAttack
の
instance
では %n
オブジェクト
は
Heart
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
物理
は
Stroke
の
instance
では %n
オブジェクト
は
Brain
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
NerveCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
工程
は
Itching
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
認識エージェント
の
part
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
が
エンティティー
エンティティー
は
Scratching
の
instance
では %n
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
オブジェクト
に
located
して %n を
desire
s %n{ない}
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
物理
は
KnockLight
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
Door
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
衝撃
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
RadiatingVisibleLight
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
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