instance
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cattle
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 20209-20213
例
Object
and
小牛
例
Object
and
牛
attribute
Object
and
沒有完全形成
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
例
GeopoliticalArea
and
City
例
政府
GeopoliticalArea
and
市政府
(<=>
(
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 6478-6488
例
Entity
and
共軛物質
Object
Object
and
Process
例
Object
and
CompoundSubstance
例
Object
and
CompoundSubstance
等於
Object
and
Object
例
Process
and
ChemicalSynthesis
資源
Process
and
Object
資源
Process
and
Object
結果
Process
and
Entity
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
例
抵押
and
抵押
金融賬戶
例
金融賬戶
and
擔保貸款
抵押
是
金融賬戶
的
secured
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085
例
GeopoliticalArea
and
市區
GeopoliticalArea
例
GeopoliticalArea
and
City
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 30094-30098
例
Object
and
DamagedVehicle
例
Object
and
車輛
attribute
Object
and
DeviceDamaged
(<=>
(
instance
?H
Hen
)
(
and
(
instance
?H
Chicken
)
(
attribute
?H
Female
)))
Mid-level-ontology.kif 20232-20236
例
Object
and
母雞
例
Object
and
雞
attribute
Object
and
女
(<=>
(
instance
?Hardware
ComputerHardware
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
component
?Hardware ?Computer))))
QoSontology.kif 63-68
例
CorpuscularObject
and
電腦硬件
CorpuscularObject
例
CorpuscularObject
and
電腦
零件
CorpuscularObject
and
CorpuscularObject
(<=>
(
instance
?ICE
Ice
)
(
and
(
instance
?ICE
Water
)
(
attribute
?ICE
Solid
)))
Mid-level-ontology.kif 8979-8983
例
Object
and
冰
例
Object
and
Water
attribute
Object
and
固體
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
例
性能指標
and
通脹指數
Abstract
例
Abstract
and
Inflation
性能指標
是
Abstract
的
benchmark
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
例
Abstract
and
股票指數
性能指標
例
性能指標
and
股票
性能指標
是
Abstract
的
benchmark
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 20186-20190
例
Object
and
羔羊
例
Object
and
羊
attribute
Object
and
沒有完全形成
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
例
RealNumber
and
NegativeRealNumber
少於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
例
RealNumber
and
NonnegativeRealNumber
大於或等於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
例
RealNumber
and
PositiveRealNumber
比較多
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
例
Organization
and
政府組織
例
Organization
and
Government
Organization
例
Organization
and
Government
子組織
Organization
and
Organization
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20241-20245
例
Object
and
公雞
例
Object
and
雞
attribute
Object
and
男
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
例
GeopoliticalArea
and
StateOrProvince
例
政府
GeopoliticalArea
and
州政府
(<=>
(
instance
?VERT
Vertebrate
)
(
exists
(?SPINE)
(
and
(
instance
?VERT
Animal
)
(
component
?SPINE ?VERT)
(
instance
?SPINE
SpinalColumn
))))
Mid-level-ontology.kif 10944-10950
例
CorpuscularObject
and
Vertebrate
CorpuscularObject
例
CorpuscularObject
and
Animal
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
脊柱
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 155-157
例
Entity
and
微分方程
例
Entity
and
方程
跟
微分屬性
的
attr
(<=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1419-1424
按職業期間劃分的勞動力比例
GeopoliticalArea
,
Attribute
,
RealNumber
and
TimeInterval
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
(<=>
(
laborForceTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceTotal
?AREA ?AMOUNT)))))
Economy.kif 1373-1378
GeopoliticalArea
是 對於
TimeInterval
在週期
NonnegativeRealNumber
的
labor
總力量
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
NonnegativeRealNumber
是
GeopoliticalArea
的
labor
總力量
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7758-7766
更大
Object
and
Object
RealNumber
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
比較多
RealNumber
and
RealNumber
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
LengthMeasure
是
GeographicArea
的軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
寬軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
LengthMeasure
是
GeographicArea
的原油管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
原油管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
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