instance

-------------------------


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20209-20213 オブジェクト は Calf の instance では %n オブジェクト は Cattle の instance では %n NonFullyFormed は オブジェクト の attribute では %n
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 8333-8335 地政学的地域 は 都市 の 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 6478-6488 エンティティー は 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 8080-8085 地政学的地域 は CityDistrict の instance では %n 地政学的地域 地政学的地域 は 都市 の instance では %n 地政学的地域 は 地政学的地域 の geopolitical 部分では %n
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30094-30098 オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20232-20236 オブジェクト は 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 8979-8983 オブジェクト は 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 20186-20190 オブジェクト は 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 20241-20245 オブジェクト は Rooster の instance では %n オブジェクト は Chicken の instance では %n Male は オブジェクト の attribute では %n
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8326-8328 地政学的地域 は 州 の 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 10944-10950 微粒子オブジェクト は 脊椎動物 の 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 7758-7766 オブジェクト は オブジェクト よりも larger %n 実数 実数 and 測定単位
(<=>
    (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