|
|
   PlaneAngleMeasure
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2427-2427 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6326-6326 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1117-1117 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 24-24 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6324-6324 | Medida de Angulo Planar e' uma sub-classe de Medida de Angulo |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6329-6329 | Medida de Angulo Solido e' disjunto de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1310-1310 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1837-1837 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 988-988 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 523-523 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2672-2672 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 940-940 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 529-529 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 563-563 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1009-1009 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 528-528 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | O argumento numero 1 de CosineFn e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3819-3819 | O argumento numero 3 de courseWRTCompassNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3787-3787 | O argumento numero 3 de courseWRTMagneticNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3724-3724 | O argumento numero 3 de courseWRTTrueNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3715-3715 | O argumento numero 2 de headingWRTCompassNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3706-3706 | O argumento numero 2 de headingWRTMagneticNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3697-3697 | O argumento numero 2 de headingWRTTrueNorth e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3769-3769 | O argumento numero 2 de magneticVariation e' uma instancia de Medida de Angulo Planar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3830-3830 | O argumento numero 3 de relativeBearing e' uma instancia de Medida de Angulo Planar |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7363-7365 |
|
|
|
|
