instance
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cattle
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 20208-20212
オブジェクト
は
Calf
の
instance
では %n
オブジェクト
は
Cattle
の
instance
では %n
NonFullyFormed
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8332-8334
地政学的地域
は
都市
の
instance
では %n
地政学的地域
の
government
は
CityGovernment
の
instance
では %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 6477-6487
エンティティー
は
ConjugatedSubstance
の
instance
では %n
オブジェクト
オブジェクト
and
工程
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
は
化学合成
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
Collateral
は
Collateral
の
instance
では %n
FinancialAccount
FinancialAccount
は
SecuredLoan
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8079-8084
地政学的地域
は
CityDistrict
の
instance
では %n
地政学的地域
地政学的地域
は
都市
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では %n
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 30082-30086
オブジェクト
は
DamagedVehicle
の
instance
では %n
オブジェクト
は
Vehicle
の
instance
では %n
DeviceDamaged
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?H
Hen
)
(
and
(
instance
?H
Chicken
)
(
attribute
?H
Female
)))
Mid-level-ontology.kif 20231-20235
オブジェクト
は
Hen
の
instance
では %n
オブジェクト
は
Chicken
の
instance
では %n
Female
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?Hardware
ComputerHardware
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
component
?Hardware ?Computer))))
QoSontology.kif 63-68
微粒子オブジェクト
は
ComputerHardware
の
instance
では %n
微粒子オブジェクト
微粒子オブジェクト
は
Computer
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
(<=>
(
instance
?ICE
Ice
)
(
and
(
instance
?ICE
Water
)
(
attribute
?ICE
Solid
)))
Mid-level-ontology.kif 8978-8982
オブジェクト
は
Ice
の
instance
では %n
オブジェクト
は
水
の
instance
では %n
Solid
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
PerformanceMeasure
は
InflationIndex
の
instance
では %n
抽象的な
抽象的な
は
Inflation
の
instance
では %n
benchmark
抽象的な
and
PerformanceMeasure
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
抽象的な
は
StockIndex
の
instance
では %n
PerformanceMeasure
PerformanceMeasure
は
Stock
の
instance
では %n
benchmark
抽象的な
and
PerformanceMeasure
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 20185-20189
オブジェクト
は
Lamb
の
instance
では %n
オブジェクト
は
Sheep
の
instance
では %n
NonFullyFormed
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
実数
は
負の実数
の
instance
では %n
実数
は 0 より
less
では %n
実数
は
実数
の
instance
では %n
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
実数
は
非負実数
の
instance
では %n
実数
は 0
greater
では %n
実数
は
実数
の
instance
では %n
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
実数
は
正の実数
の
instance
では %n
実数
は 0 より
greater
では %n
実数
は
実数
の
instance
では %n
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
組織
は
GovernmentOrganization
の
instance
では %n
組織
は
政府
の
instance
では %n
組織
組織
は
政府
の
instance
では %n
組織
は組織
組織
の一部では %n
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20240-20244
オブジェクト
は
Rooster
の
instance
では %n
オブジェクト
は
Chicken
の
instance
では %n
Male
は
オブジェクト
の
attribute
では %n
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8325-8327
地政学的地域
は
州
の
instance
では %n
地政学的地域
の
government
は
StateGovernment
の
instance
では %n
(<=>
(
instance
?VERT
Vertebrate
)
(
exists
(?SPINE)
(
and
(
instance
?VERT
Animal
)
(
component
?SPINE ?VERT)
(
instance
?SPINE
SpinalColumn
))))
Mid-level-ontology.kif 10943-10949
微粒子オブジェクト
は
脊椎動物
の
instance
では %n
微粒子オブジェクト
微粒子オブジェクト
は
動物
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
SpinalColumn
の
instance
では %n
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 155-157
エンティティー
は
DifferentialEquation
の
instance
では %n
エンティティー
は
AttrFn
Equation
and
DifferentialAttribute
の
instance
では %n
(<=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1419-1424
laborForceFractionByOccupationInPeriod
地政学的地域
,
属性
,
実数
and
時間間隔
時間位置
時間位置
は
時間間隔
の
instance
では %n
laborForceFractionByOccupation
地政学的地域
,
属性
and
実数
は
時間位置
の
during
holds %n{ない}
(<=>
(
laborForceTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceTotal
?AREA ?AMOUNT)))))
Economy.kif 1373-1378
laborForceTotalInPeriod
地政学的地域
,
非負実数
and
時間間隔
時間位置
時間位置
は
時間間隔
の
instance
では %n
laborForceTotal
地政学的地域
and
非負実数
は
時間位置
の
during
holds %n{ない}
(<=>
(
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 7780-7788
オブジェクト
は
オブジェクト
よりも
larger
%n
実数
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
greater
では %n
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
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