NuclearWeaponResearchFacility
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2591-2591 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7184-7184 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1300-1300 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9232-9232 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9231-9231 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7182-7182 | FootLength e' uma instancia de UnitOfLength |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24614-24614 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24613-24613 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24612-24612 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1394-1401 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4772-4777 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4837-4842 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3903-3910 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3844-3848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19072-19076 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 904-906 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1553-1562 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1967-1973 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3842-3842 | 1.0 Fathom(s) e' igual a 6.0 FootLength(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 1.0 NauticalMile(s) e' igual a 6076.1 FootLength(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | Numero Real FootLength(s) e' igual a Numero Real + 0.3048 Meter(s) |