|
|
  PoundMass
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 7295-7295 | |
| (documentation PoundMass JapaneseLanguage "英国の質量単位ポンド。") | japanese_format.kif 1321-1321 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7293-7293 | PoundMass ist ein fall von UnitOfMass %n{nicht} |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46966-46966 | |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46965-46965 | |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46964-46964 |
| consequent |
|
|
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13632-13638 | Das mass von Physical ist RealNumber MetricTon(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 2205.0 PoundMass(s) %n{nicht} |
| (<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13353-13358 | Das mass von Physical ist RealNumber OunceMass(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 16.0 PoundMass(s) %n{nicht} |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13645-13649 |
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13618-13622 |
|
| (=> (instance ?DragonWeapon DragonWeapon) (weight ?DragonWeapon (MeasureFn 33.9 PoundMass))) |
MilitaryDevices.kif 707-710 |
|
| (=> (instance ?JavelinWeapon JavelinWeapon) (weight ?JavelinWeapon (MeasureFn 49.5 PoundMass))) |
MilitaryDevices.kif 766-769 |
|
| (=> (instance ?X HandGrenade) (exists (?N) (and (measure ?X (MeasureFn ?N PoundMass)) (lessThan ?N 10.0)))) |
Mid-level-ontology.kif 21923-21929 |
|
| statement |
|
|
|
|
|