and

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


(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))		 Economy.kif 2189-2194 industrialProductionGrowthRateInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では industrialProductionGrowthRate 地政学的地域 and 実数 は 時間位置 の during holds
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 21817-21821 オブジェクト は Bull の instance では オブジェクト は Cattle の instance では Female は オブジェクト の attribute では
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 21835-21839 オブジェクト は Bull の instance では オブジェクト は Cattle の instance では Male は オブジェクト の attribute では
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 13013-13020 オブジェクト は 骨 の instance では オブジェクト オブジェクト は Skeleton の instance では オブジェクト は Exoskeleton の instance では オブジェクト は オブジェクト の part では
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 21826-21830 オブジェクト は Calf の instance では オブジェクト は Cattle の instance では NonFullyFormed は オブジェクト の attribute では
(<=>
    (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 7415-7425 エンティティー は ConjugatedSubstance の instance では オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では オブジェクト は 合成物質 の instance では equal オブジェクト and オブジェクト 工程 は 化学合成 の instance では オブジェクト は 工程 の resource では オブジェクト は 工程 の resource では エンティティー は 工程 の result では
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))		 FinancialOntology.kif 1337-1342 Collateral は Collateral の instance では FinancialAccount FinancialAccount は SecuredLoan の instance では securedBy FinancialAccount and Collateral
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 9247-9252 地政学的地域 は CityDistrict の instance では 地政学的地域 地政学的地域 は 都市 の instance では 地政学的地域 は 地政学的地域 の geopolitical 部分では
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 31986-31990 オブジェクト は DamagedVehicle の instance では オブジェクト は Vehicle の instance では DeviceDamaged は オブジェクト の attribute では
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 21849-21853 オブジェクト は Hen の instance では オブジェクト は Chicken の instance では Female は オブジェクト の attribute では
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 微粒子オブジェクト は ComputerHardware の instance では 微粒子オブジェクト 微粒子オブジェクト は Computer の instance では 微粒子オブジェクト は 微粒子オブジェクト の component では
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 10185-10189 オブジェクト は Ice の instance では オブジェクト は 水 の instance では Solid は オブジェクト の attribute では
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))		 FinancialOntology.kif 1685-1690 PerformanceMeasure は InflationIndex の instance では 抽象的な 抽象的な は Inflation の instance では benchmark 抽象的な and PerformanceMeasure
(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1713-1718 抽象的な は StockIndex の instance では PerformanceMeasure PerformanceMeasure は Stock の instance では benchmark 抽象的な and PerformanceMeasure
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 21803-21807 オブジェクト は Lamb の instance では オブジェクト は Sheep の instance では NonFullyFormed は オブジェクト の attribute では
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1959-1963 実数 は 負の実数 の instance では 実数 は 0 より less では 実数 は 実数 の instance では
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 実数 は 非負実数 の instance では 実数 は 0 greater では　 実数 は 実数 の instance では
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 実数 は 正の実数 の instance では 実数 は 0 より greater では　 実数 は 実数 の instance では
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 組織 は GovernmentOrganization の instance では 組織 は 政府 の instance では 組織 組織 は 政府 の instance では 組織 は組織 組織 の一部では
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 21858-21862 オブジェクト は Rooster の instance では オブジェクト は Chicken の instance では Male は オブジェクト の attribute では
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12275-12281 微粒子オブジェクト は 脊椎動物 の instance では 微粒子オブジェクト 微粒子オブジェクト は 動物 の instance では 微粒子オブジェクト は 微粒子オブジェクト の component では 微粒子オブジェクト は SpinalColumn の instance では
(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1544-1549 laborForceFractionByOccupationInPeriod 地政学的地域, 属性, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では laborForceFractionByOccupation 地政学的地域, 属性 and 実数 は 時間位置 の during holds
(<=>
    (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceTotal ?AREA ?AMOUNT)))))		 Economy.kif 1464-1469 laborForceTotalInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では laborForceTotal 地政学的地域 and 非負実数 は 時間位置 の during holds
(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1567-1578 languagePercentInRegion 言語, 実数 and 地理的地域 コレクション コレクション, 意識［知覚］を持つ代理(人), 意識［知覚］を持つ代理(人)2, 実数1 and 実数2 意識［知覚］を持つ代理(人) は 地理的地域 に located して 意識［知覚］を持つ代理(人) は コレクション の member では speaksLanguage 意識［知覚］を持つ代理(人) and 言語 memberCount コレクション and 実数1 意識［知覚］を持つ代理(人)2 は 地理的地域 に located して 意識［知覚］を持つ代理(人)2 は コレクション の member では memberCount コレクション and 実数2 equal 実数 + 100 and 実数1 + 実数2
(<=>
    (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 7843-7851 オブジェクト は オブジェクト よりも larger 実数 実数 and 測定単位

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