and

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


(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))		 Economy.kif 2189-2194 GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 industrial 生產成率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 %industrial 生產速率
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 21817-21821 例 Object and 公牛 例 Object and 牛 attribute Object and 女
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 21835-21839 例 Object and 公牛 例 Object and 牛 attribute Object and 男
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 13013-13020 例 Object and Bone Object 例 Object and 骨架 例 Object and 外骨骼 部分 Object and Object
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 21826-21830 例 Object and 小牛 例 Object and 牛 attribute Object 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 7415-7425 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance equal 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 1337-1342 例 抵押 and 抵押 金融賬戶 例 金融賬戶 and 擔保貸款 抵押 是 金融賬戶 的 secured
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 9247-9252 例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 31986-31990 例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 21849-21853 例 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 10185-10189 例 Object and 冰 例 Object and Water attribute Object and 固體
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))		 FinancialOntology.kif 1685-1690 例 性能指標 and 通脹指數 Abstract 例 Abstract and Inflation 性能指標 是 Abstract 的 benchmark
(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1713-1718 例 Abstract and 股票指數 性能指標 例 性能指標 and 股票 性能指標 是 Abstract 的 benchmark
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 21803-21807 例 Object and 羔羊 例 Object and 羊 attribute Object and 沒有完全形成
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1959-1963 例 RealNumber and NegativeRealNumber 少於 RealNumber and 0 例 RealNumber and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 例 RealNumber and NonnegativeRealNumber 大於或等於 RealNumber and 0 例 RealNumber and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 例 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 21858-21862 例 Object and 公雞 例 Object and 雞 attribute Object and 男
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12275-12281 例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱
(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1544-1549 按職業期間劃分的勞動力比例 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 1464-1469 GeopoliticalArea 是 對於 TimeInterval 在週期 NonnegativeRealNumber 的 labor 總力量 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 的 labor 總力量
(<=>
    (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 百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數 位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數 equal 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
(<=>
    (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 更大 Object and Object RealNumber RealNumber and UnitOfMeasure

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