No TPTP formula. May not be expressible in strict first order. |
engineering.kif 44-44 |
LexiconCategory e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19249-19249 |
LinguisticAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 319-319 |
MultipoleAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 705-705 |
Nonlinear e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1810-1810 |
PhysicalAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 254-254 |
PhysicalDomain e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17563-17563 |
Estado Fisico e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18007-18007 |
Atributo de Saturacao e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7334-7334 |
SolubilityAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17745-17745 |
StructureAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1737-1737 |
TerrainAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 383-383 |
TrackGauge e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4064-4064 |
VolcanoStatus e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1369-1369 |
WebDocumentAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 914-914 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 532-532 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 63-63 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 66-66 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2217-2217 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 484-484 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 67-67 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |