|
| (caliber M60 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 433-434 | 測量 7.62 and 毫米 是 M60 的 caliber |
| (caliber MK19 (MeasureFn 40.0 Millimeter)) |
MilitaryDevices.kif 636-637 | 測量 40.0 and 毫米 是 Mk19 的 caliber |
| (caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter)) |
MilitaryDevices.kif 828-829 | 測量 83.0 and 毫米 是 SMAW掩體破壞者 的 caliber |
| (caliber XM218 (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 531-532 | 測量 12.7 and 毫米 是 XM218 的 caliber |
| (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 1092-1103 | 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
| (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 1160-1174 | 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
| (currencyValue UnitedStatesCentCoin (MeasureFn 10.0 UnitedStatesCent)) |
Economy.kif 2935-2935 | 測量 10.0 and 美國分 是 美國分硬幣 的 currency 價值 |
| (currencyValue UnitedStatesFiveCentCoin (MeasureFn 5.0 UnitedStatesCent)) |
Economy.kif 2932-2932 | 測量 5.0 and 美國分 是 美國五美分硬幣 的 currency 價值 |
| (currencyValue UnitedStatesQuarterCoin (MeasureFn 25.0 UnitedStatesCent)) |
Economy.kif 2938-2938 | 測量 25.0 and 美國分 是 美國四分之一硬幣 的 currency 價值 |
| (defaultMaximumLength Hamster (MeasureFn 10.0 Centimeter)) |
Mid-level-ontology.kif 30600-30600 | Hamster 的 maximum 預期長度是 測量 10.0 and 厘米 |
| (defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 30457-30457 | Lemur 的 maximum 預期價值是 測量 20.0 and 磅質量 |
| (defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 30359-30359 | Lion 的 maximum 預期價值是 測量 600.0 and 磅質量 |
| (defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 30437-30437 | Parrot 的 maximum 預期價值是 測量 9.0 and 磅質量 |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 30424-30424 | Rhinoceros 的 maximum 預期價值是 測量 2200.0 and 磅質量 |
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 20272-20272 | Alligator 的預期 value 是 測量 790.0 and 磅質量 |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20285-20285 | Badger 的預期 value 是 測量 20.0 and 磅質量 |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20300-20300 | Bear 的預期 value 是 測量 500.0 and 磅質量 |
| (defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | 一盒巧克力 的預期 value 是 測量 250.0 and 公克 |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30554-30554 | Cheetah 的預期 value 是 測量 150.0 and 磅質量 |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30530-30530 | Crocodile 的預期 value 是 測量 2000.0 and 磅質量 |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30571-30571 | Ferret 的預期 value 是 測量 2.0 and 磅質量 |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30589-30589 | GuineaPig 的預期 value 是 測量 2.0 and 磅質量 |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20314-20314 | Kangaroo 的預期 value 是 測量 18.0 and 磅質量 |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20322-20322 | Llama 的預期 value 是 測量 18.0 and 磅質量 |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30490-30490 | Octopus 的預期 value 是 測量 33.0 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