Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  greaterThanOrEqualTo

Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo

appearance as argument number 1
-------------------------


(documentation greaterThanOrEqualTo ChineseLanguage "(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 多于或者等于 ?NUMBER2 的 Quantity。") Merge.kif 1950-1951
(documentation greaterThanOrEqualTo EnglishLanguage "(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than or equal to the Quantity ?NUMBER2.") Merge.kif 1947-1949
(domain greaterThanOrEqualTo 1 Quantity) Merge.kif 1944-1944 大于或等于 的 1 数量 是 数量instance
(domain greaterThanOrEqualTo 2 Quantity) Merge.kif 1945-1945 大于或等于 的 2 数量 是 数量instance
(instance greaterThanOrEqualTo BinaryPredicate) Merge.kif 1940-1940 大于或等于二元谓语instance
(instance greaterThanOrEqualTo PartialOrderingRelation) Merge.kif 1941-1941 大于或等于偏序关系instance
(instance greaterThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1942-1942 大于或等于延伸数量关系instance
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1946-1946 大于或等于少于或等于inverse
(trichotomizingOn greaterThanOrEqualTo RealNumber) Merge.kif 1943-1943 大于或等于实数trichotomizingOn

appearance as argument number 2
-------------------------


(format ChineseLanguage greaterThanOrEqualTo "%1 %n 是 greaterThanOrEqualTo %2") chinese_format.kif 113-113
(format EnglishLanguage greaterThanOrEqualTo "%1 is %n greater than or equal to %2") english_format.kif 83-83
(termFormat ChineseLanguage greaterThanOrEqualTo "大于或等于") chinese_format.kif 114-114 termFormat ChineseLanguage, 大于或等于 and "大于或等于"
(termFormat EnglishLanguage greaterThanOrEqualTo "greater than or equal to") domainEnglishFormat.kif 4844-4844 termFormat EnglishLanguage, 大于或等于 and "greater than or equal to"

antecedent
-------------------------


(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))
Geography.kif 6819-6829 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米那个 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
(<=>
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (greaterThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1953-1957 数量greaterThanOrEqualTo 另一个 数量 若且唯若 那个 数量 equal 那个 另外 数量那个 数量greaterThan 那个 另外 数量
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2028-2035
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2037-2047
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2019-2026
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))
Merge.kif 13830-13843
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (forall (?MO ?AMOUNT)
            (=>
                (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)
                (greaterThanOrEqualTo ?AMOUNT
                    (MeasureFn 60
                        (MilliFn Meter))))))
    (instance ?AREA WetTropicalClimateZone))
Geography.kif 1288-1295
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))
Mid-level-ontology.kif 358-364
(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (bidPrice ?Object ?Price ?Time)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 1966-1984
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2118-2125
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2127-2139
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2109-2116
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2076-2083
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2085-2095
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2067-2074
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE)
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (exists (?VOTING)
        (and
            (instance ?VOTING
                (VotingFn ?ELECTION))
            (agent ?VOTING ?AGENT))))
Government.kif 1143-1154
(=>
    (and
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE)
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (capability
        (VotingFn ?ELECTION) agent ?AGENT))
Government.kif 1093-1101

consequent
-------------------------


(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1998-2002 数量非负实数instance 若且唯若 那个 数量greaterThanOrEqualTo 0 和 那个 数量实数instance
(<=>
    (instance ?QUANTITY
        (IntervalFn ?FROM ?TO))
    (and
        (greaterThanOrEqualTo ?QUANTITY ?FROM)
        (lessThanOrEqualTo ?QUANTITY ?TO)))
Merge.kif 6782-6786 数量 是 由 恒量另一个 恒量 之间的值 的 instance 若且唯若 那个 数量greaterThanOrEqualTo 那个 恒量那个 数量lessThanOrEqualTo 那个 另外 恒量
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 2 YearDuration))
            (lessThan ?T
                (MeasureFn 3 YearDuration)))))
Mid-level-ontology.kif 16325-16336
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 3 YearDuration))
            (lessThan ?T
                (MeasureFn 4 YearDuration)))))
Mid-level-ontology.kif 16342-16353
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 1 YearDuration))
            (lessThan ?T
                (MeasureFn 2 YearDuration)))))
Mid-level-ontology.kif 16359-16370
(=>
    (and
        (citizen ?AGENT ?POLITY)
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY)))
    (confersRight
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))
Government.kif 1103-1121
(=>
    (and
        (equal
            (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
        (equal
            (PathWeightFn ?PATH) ?NUMBER1))
    (forall (?PATH2)
        (=>
            (and
                (instance ?PATH2
                    (GraphPathFn ?NODE1 ?NODE2))
                (equal
                    (PathWeightFn ?PATH2) ?NUMBER2))
            (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))
Merge.kif 6143-6152
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 2438 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 3047 Meter))))))
Transportation.kif 1417-1428
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 1524 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 2437 Meter))))))
Transportation.kif 1399-1410
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY ?LENGTH)
            (or
                (greaterThanOrEqualTo ?LENGTH
                    (MeasureFn 914 Meter))
                (lessThanOrEqualTo ?LENGTH
                    (MeasureFn 1523 Meter))))))
Transportation.kif 1381-1392
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))
Weather.kif 529-537
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThanOrEqualTo ?FRACTION 0.3)
            (lessThanOrEqualTo ?FRACTION 0.7))))
Weather.kif 518-527
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CitizenryFn ?AREA))
        (equal ?POPULATION
            (ResidentFn ?AREA)))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7786-7791
(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThanOrEqualTo ?TEMP
        (MeasureFn -3 CelsiusDegree)))
Geography.kif 1381-1386
(=>
    (and
        (instance ?Account ?FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount ?Balance))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))
FinancialOntology.kif 646-656
(=>
    (and
        (instance ?BOILING Boiling)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (patient ?BOILING ?SUBSTANCE)
        (holdsDuring
            (WhenFn ?BOILING)
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature))
    (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
Merge.kif 13820-13828
(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6464-6484
(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2792-2811
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE))
    (greaterThanOrEqualTo ?AGE ?VOTINGAGE))
Government.kif 990-997
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE))
    (exists (?AGE)
        (and
            (age ?AGENT ?AGE)
            (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))
Government.kif 979-988
(=>
    (and
        (instance ?ELECTION PopularElection)
        (electionWinner ?ELECTION ?POSITION ?PERSON1)
        (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1))
    (not
        (exists (?PERSON2 ?NUMBER2)
            (and
                (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
                (not
                    (equal ?PERSON1 ?PERSON2))
                (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)))))
Government.kif 1842-1852
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))
FinancialOntology.kif 1440-1445
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR ?WIDTH))
    (greaterThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))
Transportation.kif 423-428
(=>
    (and
        (instance ?SHIP MerchantMarineShip)
        (measure ?SHIP
            (MeasureFn ?GRT RegistryTon)))
    (greaterThanOrEqualTo ?GRT 1000))
Transportation.kif 1003-1007
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3675-3686

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1069-1078 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains UniversalSuffrageLaw 的资料
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?VOTER ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)
Government.kif 1129-1141 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains CompulsorySuffrageLaw 的资料
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 867-876 AvailableForMilitaryServiceMaleFn 地缘政治区域 equal 符号串 所描述的类别 instance 的数量
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 890-901 FitForMilitaryServiceMaleFn 地缘政治区域 equal 符号串 所描述的类别 instance 的数量

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners