material
(=>
(
instance
?G
Gland
)
(
material
EpithelialTissue
?G))
Merge.kif 15219-15221
例
CorpuscularObject
and
Gland
材料
EpithelialTissue
and
CorpuscularObject
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
例
CorpuscularObject
and
電阻元件
Substance
子類
Substance
and
絕緣體物質
材料
Substance
and
CorpuscularObject
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25189-25195
例
SelfConnectedObject
and
FabricIron
CorpuscularObject
底部
CorpuscularObject
and
SelfConnectedObject
材料
Metal
and
CorpuscularObject
attribute
CorpuscularObject
and
平面
(=>
(
instance
?K
Ketchup
)
(
material
Tomato
?K))
Food.kif 2615-2617
例
CorpuscularObject
and
Ketchup
材料
番茄
and
CorpuscularObject
(=>
(
instance
?L
Latte
)
(
and
(
material
MilkFoam
?L)
(
material
Espresso
?L)))
Food.kif 1393-1397
例
CorpuscularObject
and
Latte
材料
MilkFoam
and
CorpuscularObject
材料
Espresso
and
CorpuscularObject
(=>
(
instance
?L
Liqueur
)
(
material
Sugar
?L))
Food.kif 2644-2646
例
CorpuscularObject
and
Liqueur
材料
糖
and
CorpuscularObject
(=>
(
instance
?L
LongBlack
)
(
and
(
material
Espresso
?L)
(
material
DrinkingWater
?L)))
Food.kif 1423-1427
例
CorpuscularObject
and
LongBlack
材料
Espresso
and
CorpuscularObject
材料
飲用水
and
CorpuscularObject
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
ChemicalAcid
?LAWB))
Cars.kif 2461-2463
例
CorpuscularObject
and
LeadAcidWetBattery
材料
化學酸
and
CorpuscularObject
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
Lead
?LAWB))
Cars.kif 2457-2459
例
CorpuscularObject
and
LeadAcidWetBattery
材料
鉛
and
CorpuscularObject
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
PurifiedWater
?LAWB))
Cars.kif 2465-2467
例
CorpuscularObject
and
LeadAcidWetBattery
材料
PurifiedWater
and
CorpuscularObject
(=>
(
instance
?M
Mayonnaise
)
(
and
(
material
Oil
?M)
(
material
EggYolk
?M)))
Food.kif 2664-2668
例
CorpuscularObject
and
Mayonnaise
材料
油
and
CorpuscularObject
材料
EggYolk
and
CorpuscularObject
(=>
(
instance
?M
Muscle
)
(
material
MuscleTissue
Muscle
))
Merge.kif 15231-15233
例
Entity
and
Muscle
材料
MuscleTissue
and
Muscle
(=>
(
instance
?NC
NerveCell
)
(
material
NervousTissue
?NC))
Merge.kif 15244-15246
例
CorpuscularObject
and
神經細胞
材料
NervousTissue
and
CorpuscularObject
(=>
(
instance
?O
Omelette
)
(
material
Egg
?O))
Food.kif 2708-2710
例
CorpuscularObject
and
Omelette
材料
蛋
and
CorpuscularObject
(=>
(
instance
?O
Opium
)
(
exists
(?M)
(
and
(
instance
?M
Morphine
)
(
material
?M ?O))))
Medicine.kif 6186-6191
例
CorpuscularObject
and
鴉片
Substance
例
Substance
and
Morphine
材料
Substance
and
CorpuscularObject
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
例
CorpuscularObject
and
CorpuscularObject
Substance
Substance
子類
Substance
and
Substance
子類
Substance
and
Substance
材料
Substance
and
CorpuscularObject
材料
Substance
and
CorpuscularObject
等於
Substance
and
Substance
(=>
(
instance
?OBJ
OpticalDisc
)
(
material
Plastic
?OBJ))
Media.kif 1139-1141
例
CorpuscularObject
and
OpticalDisc
材料
塑料
and
CorpuscularObject
(=>
(
instance
?OBJ
OpticalDisc
)
(
or
(
material
Gold
?OBJ)
(
material
Aluminum
?OBJ)))
Media.kif 1143-1147
例
CorpuscularObject
and
OpticalDisc
材料
金
and
CorpuscularObject
材料
鋁
and
CorpuscularObject
(=>
(
instance
?P
Pasta
)
(
material
WheatFlour
?P))
Food.kif 2744-2746
例
CorpuscularObject
and
Pasta
材料
WheatFlour
and
CorpuscularObject
(=>
(
instance
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
例
Physical
and
刨床
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
Cutting
儀器
entity
and
Physical
資源
entity
and
entity
例
entity
and
Object
材料
entity
and
木
結果
entity
and
entity
例
entity
and
Object
材料
木
and
entity
attribute
entity
and
平面
例
entity
and
UnitOfLength
高度
entity
and
測量
entity
and
entity
高度
entity
and
測量
entity
and
entity
比較多
entity
and
entity
(=>
(
instance
?RV8
RoverV8Engine
)
(
material
Aluminum
?RV8))
Cars.kif 4722-4724
例
CorpuscularObject
and
RoverV8Engine
材料
鋁
and
CorpuscularObject
(=>
(
instance
?S
Sorbet
)
(
material
DrinkingWater
?S))
Food.kif 3444-3446
例
CorpuscularObject
and
Sorbet
材料
飲用水
and
CorpuscularObject
(=>
(
instance
?S
Sorbet
)
(
material
Fruit
?S))
Food.kif 3448-3450
例
CorpuscularObject
and
Sorbet
材料
水果
and
CorpuscularObject
(=>
(
instance
?S
Sorbet
)
(
material
Sugar
?S))
Food.kif 3452-3454
例
CorpuscularObject
and
Sorbet
材料
糖
and
CorpuscularObject
(=>
(
instance
?S
String
)
(
material
Fabric
?S))
Mid-level-ontology.kif 3655-3657
例
CorpuscularObject
and
串
材料
Fabric
and
CorpuscularObject
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