<=>

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11681-11688 オブジェクト は 骨 の instance では %n オブジェクト オブジェクト は Skeleton の instance では %n オブジェクト は Exoskeleton の instance では %n オブジェクト は オブジェクト の part では %n
(<=>
    (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 ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))		 Geography.kif 3504-3513 エンティティー は 大陸 の instance では %n Africa は エンティティー と equal では %n NorthAmerica は エンティティー と equal では %n SouthAmerica は エンティティー と equal では %n Antarctica は エンティティー と equal では %n Europe は エンティティー と equal では %n Asia は エンティティー と equal では %n Oceania は エンティティー と equal では %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 ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))		 Geography.kif 3488-3494 エンティティー は Hemisphere の instance では %n エンティティー は NorthernHemisphere と equal では %n エンティティー は SouthernHemisphere と equal では %n エンティティー は EasternHemisphere と equal では %n エンティティー は WesternHemisphere と equal では %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 ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))		 FinancialOntology.kif 1348-1351 FinancialAccount は SecuredLoan の instance では %n Collateral securedBy FinancialAccount and Collateral
(<=>
    (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 ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))		 Transportation.kif 411-413 エンティティー は BroadGaugeRailway の instance では %n エンティティー には attribute BroadGauge %n{ない}
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 469-471 エンティティー は DualGaugeRailway の instance では %n エンティティー には attribute DualGauge %n{ない}
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))		 Transportation.kif 460-462 エンティティー は NarrowGaugeRailway の instance では %n エンティティー には attribute NarrowGauge %n{ない}
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))		 Transportation.kif 443-445 エンティティー は StandardGaugeRailway の instance では %n エンティティー には attribute StandardGauge %n{ない}

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