No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6442-6442 |
Plane angle measure is a subclass of angle measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6446-6446 |
Solid angle measure is a subclass of angle measure |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1309-1309 |
"角度测量" is the printable form of angle measure in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 996-996 |
"angle measure" is the printable form of angle measure in english language |
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 987-987 |
"mesure d'angle" is the printable form of angle measure in french language |
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 522-522 |
"koNa maapa" is the printable form of angle measure in Hindi |
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 524-524 |
"MisuraAngolare" is the printable form of angle measure in italian language |
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 939-939 |
"Medida de Angulo" is the printable form of angle measure in portuguese language |
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 528-528 |
"anggulong sukod" is the printable form of angle measure in cb |
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 562-562 |
"angle measure" is the printable form of angle measure in cz |
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 527-527 |
"sukat ng anggulo" is the printable form of angle measure in tg |