MeasureFn

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


(caliber M60
    (MeasureFn 7.62 Millimeter))		 MilitaryDevices.kif 590-591 caliber M60 and 7.62 Millimeter(s)
(caliber MK19
    (MeasureFn 40.0 Millimeter))		 MilitaryDevices.kif 793-794 caliber MK19 and 40.0 Millimeter(s)
(caliber SMAWBunkerBuster
    (MeasureFn 83.0 Millimeter))		 MilitaryDevices.kif 985-986 caliber SMAWBunkerBuster and 83.0 Millimeter(s)
(caliber XM218
    (MeasureFn 12.7 Millimeter))		 MilitaryDevices.kif 688-689 caliber XM218 and 12.7 Millimeter(s)
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)		 Government.kif 1054-1065 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contient information UniversalSuffrageLaw
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?VOTER
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)		 Government.kif 1122-1136 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contient information CompulsorySuffrageLaw
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 3272-3272 currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s)
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 3269-3269 currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s)
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 3275-3275 currencyValue UnitedStatesQuarterCoin and 25.0 UnitedStatesCent(s)
(defaultMaximumLength Hamster
    (MeasureFn 10.0 Centimeter))		 Mid-level-ontology.kif 32548-32548 defaultMaximumLength Hamster and 10.0 Centimeter(s)
(defaultMaximumMeasure FortyFtContainer
    (MeasureFn 30480 Kilogram))		 Transportation.kif 2957-2958 defaultMaximumMeasure FortyFtContainer and 30480 Kilogram(s)
(defaultMaximumMeasure Lemur
    (MeasureFn 20.0 PoundMass))		 Mid-level-ontology.kif 32405-32405 defaultMaximumMeasure Lemur and 20.0 PoundMass(s)
(defaultMaximumMeasure Lion
    (MeasureFn 600.0 PoundMass))		 Mid-level-ontology.kif 32291-32291 defaultMaximumMeasure Lion and 600.0 PoundMass(s)
(defaultMaximumMeasure Parrot
    (MeasureFn 9.0 PoundMass))		 Mid-level-ontology.kif 32385-32385 defaultMaximumMeasure Parrot and 9.0 PoundMass(s)
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200.0 PoundMass))		 Mid-level-ontology.kif 32372-32372 defaultMaximumMeasure Rhinoceros and 2200.0 PoundMass(s)
(defaultMaximumMeasure TwentyFtContainer
    (MeasureFn 24000 Kilogram))		 Transportation.kif 2819-2820 defaultMaximumMeasure TwentyFtContainer and 24000 Kilogram(s)
(defaultMaximumMeasure TwentyFtHeavyDutyContainer
    (MeasureFn 30500 Kilogram))		 Transportation.kif 2885-2886 defaultMaximumMeasure TwentyFtHeavyDutyContainer and 30500 Kilogram(s)
(defaultMeasure Alligator
    (MeasureFn 790.0 PoundMass))		 Mid-level-ontology.kif 21890-21890 defaultMeasure Alligator and 790.0 PoundMass(s)
(defaultMeasure Badger
    (MeasureFn 20.0 PoundMass))		 Mid-level-ontology.kif 21903-21903 defaultMeasure Badger and 20.0 PoundMass(s)
(defaultMeasure Bear
    (MeasureFn 500.0 PoundMass))		 Mid-level-ontology.kif 21918-21918 defaultMeasure Bear and 500.0 PoundMass(s)
(defaultMeasure BoxOfChocolates
    (MeasureFn 250.0 Gram))		 Food.kif 2531-2532 defaultMeasure BoxOfChocolates and 250.0 Gram(s)
(defaultMeasure Cheetah
    (MeasureFn 150.0 PoundMass))		 Mid-level-ontology.kif 32502-32502 defaultMeasure Cheetah and 150.0 PoundMass(s)
(defaultMeasure Crocodile
    (MeasureFn 2000.0 PoundMass))		 Mid-level-ontology.kif 32478-32478 defaultMeasure Crocodile and 2000.0 PoundMass(s)
(defaultMeasure Ferret
    (MeasureFn 2.0 PoundMass))		 Mid-level-ontology.kif 32519-32519 defaultMeasure Ferret and 2.0 PoundMass(s)
(defaultMeasure GuineaPig
    (MeasureFn 2.0 PoundMass))		 Mid-level-ontology.kif 32537-32537 defaultMeasure GuineaPig and 2.0 PoundMass(s)

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