| appearance as argument number 1 |
|
| (documentation weight ChineseLanguage "(weight ?O ?MM)的意思是在地球上，这个 SelfConnectedObject ?O 的重量是 ?MM。") | chinese_format.kif 2606-2607 | |
| (documentation weight EnglishLanguage "(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.") | Merge.kif 7318-7319 | |
| (documentation weight JapaneseLanguage "(weight ?O ?MM) とは、地球上で SelfConnectedObject ?O が重量?MMを持っていることを意味する。") | japanese_format.kif 1319-1320 | |
| (domain weight 1 SelfConnectedObject) | Merge.kif 7313-7313 | |
| (domain weight 2 MassMeasure) | Merge.kif 7314-7314 | |
| (instance weight BinaryPredicate) | Merge.kif 7315-7315 | |
| (subrelation weight measure) | Merge.kif 7316-7316 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage weight "%2 %n 是 %1 的 weight ") | domainEnglishFormat.kif 2622-2622 | |
| (format ChineseTraditionalLanguage weight "%2 %n 是 %1 的 weight ") | domainEnglishFormat.kif 2621-2621 | |
| (format EnglishLanguage weight "%2 is %n a weight of %1") | domainEnglishFormat.kif 2620-2620 | |
| (termFormat ChineseLanguage weight "重量") | domainEnglishFormat.kif 62673-62673 | |
| (termFormat ChineseTraditionalLanguage weight "重量") | domainEnglishFormat.kif 62672-62672 | |
| (termFormat EnglishLanguage weight "weight") | domainEnglishFormat.kif 62671-62671 |
| antecedent |
|
|
| (=> (and (instance ?L CocoaLiquor) (weight ?L (MeasureFn 100.0 Gram)) (instance ?S CocoaSolid) (part ?S ?L) (weight ?S (MeasureFn ?X Gram)) (instance ?B CocoaButter) (part ?B ?L) (weight ?B (MeasureFn ?Y Gram))) (and (approximateValue ?X 50.0) (approximateValue ?Y 50.0))) |
Food.kif 2470-2485 | |
| (=> (and (instance ?T ShipContainer) (capacity ?T (MeasureFn ?X ?U)) (instance ?X UnitOfMass) (contains ?T ?O) (weight ?O (MeasureFn ?Y ?U)) (lessThan ?Y ?X)) (modalAttribute (not (exists (?D) (and (instance ?D Damaging) (patient ?D ?T)))) Likely)) |
Transportation.kif 2829-2844 | |
| (=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 |
| consequent |
|
|
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 | |
| (=> (instance ?AAV AAV) (and (length ?AAV (MeasureFn 7.94 Meter)) (width ?AAV (MeasureFn 3.27 Meter)) (weight ?AAV (MeasureFn 22.8 TonMass)) (height ?AAV (MeasureFn 3.26 Meter)) (effectiveRange ?AAV (MeasureFn 480.0 Kilometer)))) |
MilitaryDevices.kif 1819-1831 | |
| (=> (instance ?AGM114 AGM114) (and (length ?AGM114 (MeasureFn 1.63 Meter)) (width ?AGM114 (MeasureFn 0.71 Meter)) (height ?AGM114 (MeasureFn 0.71 Meter)) (weight ?AGM114 (MeasureFn 45.0 Kilogram)) (effectiveRange ?AGM114 (MeasureFn 8.0 Kilometer)))) |
MilitaryDevices.kif 1392-1404 | |
| (=> (instance ?AGM65 AGM65) (and (length ?AGM65 (MeasureFn 2.55 Meter)) (width ?AGM65 (MeasureFn 0.7 Meter)) (height ?AGM65 (MeasureFn 0.7 Meter)) (weight ?AGM65 (MeasureFn 302.0 Kilogram)) (effectiveRange ?AGM65 (MeasureFn 27.0 Kilometer)))) |
MilitaryDevices.kif 1312-1324 | |
| (=> (instance ?AH1 AH1) (and (length ?AH1 (MeasureFn 17.68 Meter)) (width ?AH1 (MeasureFn 14.63 Meter)) (height ?AH1 (MeasureFn 4.44 Meter)) (weight ?AH1 (MeasureFn 4634.0 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587.0 Kilometer)))) |
MilitaryDevices.kif 2057-2069 | |
| (=> (instance ?AIM9 AIM9) (and (length ?AIM9 (MeasureFn 2.85 Meter)) (width ?AIM9 (MeasureFn 0.63 Meter)) (height ?AIM9 (MeasureFn 0.63 Meter)) (weight ?AIM9 (MeasureFn 91.0 Kilogram)) (effectiveRange ?AIM9 (MeasureFn 18.0 Kilometer)))) |
MilitaryDevices.kif 1346-1358 | |
| (=> (instance ?BGM71TOW BGM71TOW) (weight ?BGM71TOW (MeasureFn 18.9 Kilogram))) |
MilitaryDevices.kif 1012-1015 | |
| (=> (instance ?CH46D CH46D) (and (length ?CH46D (MeasureFn 25.72 Meter)) (width ?CH46D (MeasureFn 15.54 Meter)) (height ?CH46D (MeasureFn 5.1 Meter)) (weight ?CH46D (MeasureFn 7047.0 Kilogram)) (effectiveRange ?CH46D (MeasureFn 676.0 Kilometer)))) |
MilitaryDevices.kif 2017-2029 | |
| (=> (instance ?CH53E CH53E) (and (length ?CH53E (MeasureFn 30.2 Meter)) (width ?CH53E (MeasureFn 24.1 Meter)) (height ?CH53E (MeasureFn 8.46 Meter)) (weight ?CH53E (MeasureFn 15071.0 Kilogram)) (effectiveRange ?CH53E (MeasureFn 2000.0 Kilometer)))) |
MilitaryDevices.kif 1945-1957 | |
| (=> (instance ?DragonWeapon DragonWeapon) (weight ?DragonWeapon (MeasureFn 33.9 PoundMass))) |
MilitaryDevices.kif 864-867 | |
| (=> (instance ?GAU12U GAU12U) (weight ?GAU12U (MeasureFn 122.0 Kilogram))) |
MilitaryDevices.kif 478-481 | |
| (=> (instance ?Harrier Harrier2) (and (length ?Harrier (MeasureFn 14.1 Meter)) (width ?Harrier (MeasureFn 9.2 Meter)) (height ?Harrier (MeasureFn 3.5 Meter)) (weight ?Harrier (MeasureFn 5700.0 Kilogram)) (effectiveRange ?Harrier (MeasureFn 1000.0 Kilometer)))) |
MilitaryDevices.kif 1901-1913 | |
| (=> (instance ?JavelinWeapon JavelinWeapon) (weight ?JavelinWeapon (MeasureFn 49.5 PoundMass))) |
MilitaryDevices.kif 923-926 | |
| (=> (instance ?LAV LAV25) (and (length ?LAV (MeasureFn 6.39 Meter)) (width ?LAV (MeasureFn 2.5 Meter)) (height ?LAV (MeasureFn 2.69 Meter)) (weight ?LAV (MeasureFn 12802.8 Kilogram)) (effectiveRange ?LAV (MeasureFn 660.1 Kilometer)))) |
MilitaryDevices.kif 1699-1711 | |
| (=> (instance ?M240 M240) (weight ?M240 (MeasureFn 12.5 Kilogram))) |
MilitaryDevices.kif 555-558 | |
| (=> (instance ?M242 M242) (weight ?M242 (MeasureFn 110.0 Kilogram))) |
MilitaryDevices.kif 451-454 | |
| (=> (instance ?M2Browning M2Browning) (weight ?M2Browning (MeasureFn 38.0 Kilogram))) |
MilitaryDevices.kif 659-662 | |
| (=> (instance ?M3M M3M) (weight ?M3M (MeasureFn 35.8 Kilogram))) |
MilitaryDevices.kif 736-739 | |
| (=> (instance ?M60 M60) (weight ?M60 (MeasureFn 10.5 Kilogram))) |
MilitaryDevices.kif 595-598 | |
| (=> (instance ?MK19 MK19) (weight ?MK19 (MeasureFn 33.0 Kilogram))) |
MilitaryDevices.kif 798-801 | |
| (=> (instance ?SMAWBunkerBuster SMAWBunkerBuster) (weight ?SMAWBunkerBuster (MeasureFn 7.54 Kilogram))) |
MilitaryDevices.kif 990-993 | |
| (=> (instance ?XM218 XM218) (weight ?XM218 (MeasureFn 27.0 Kilogram))) |
MilitaryDevices.kif 693-696 | |
| (=> (maximumPayloadCapacity ?V (MeasureFn ?LOAD ?UNITLOAD)) (not (exists (?TP ?O ?WO ?WOU) (and (instance ?TP Transportation) (instrument ?TP ?V) (patient ?TP ?O) (weight ?O (MeasureFn ?WO ?WOU)) (equal ?WOU ?UNITLOAD) (greaterThan ?WO ?LOAD))))) |
MilitaryDevices.kif 92-104 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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