| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 214-215 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | 域 口徑, 2 and LengthMeasure |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 211-211 | 域子類 口徑, 1 and 槍 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 208-208 | 例 口徑 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 209-209 | 例 口徑 and TotalValuedRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 336-336 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2036-2036 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 334-334 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12721-12721 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12720-12720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12719-12719 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 233-245 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 250-262 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 219-228 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | 測量 25.0 and 毫米 是 GAU12U 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | 測量 7.62 and 毫米 是 M240 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | 測量 25.0 and 毫米 是 M242 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | 測量 12.7 and 毫米 是 m2褐變 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | 測量 12.7 and 毫米 是 M3M 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 433-434 | 測量 7.62 and 毫米 是 M60 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | 測量 40.0 and 毫米 是 Mk19 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 828-829 | 測量 83.0 and 毫米 是 SMAW掩體破壞者 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 531-532 | 測量 12.7 and 毫米 是 XM218 的 caliber |
|
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