No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3013-3013 |
Os valores retornados por DocumentFn sao as sub-classes de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14619-14619 |
Os valores retornados por SeriesVolumeFn sao as sub-classes de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14677-14677 |
Artigo e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2287-2287 |
CalendarText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15633-15633 |
Certificado e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1025-1025 |
ChairmanPublication e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7870-7870 |
ChristianGospel e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 993-993 |
Doctrine e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15381-15381 |
FactualText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15409-15409 |
FictionalText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14485-14485 |
FormText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 921-921 |
JointPublication e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14472-14472 |
Label e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 3012-3012 |
LiveTestUpdate e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 694-694 |
Lyrics e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1392-1392 |
Filme e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14420-14420 |
MusicText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14924-14924 |
NarrativeText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 705-705 |
Paragraph e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9265-9265 |
Prescription e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14645-14645 |
Serie e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4222-4222 |
Spam e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15586-15586 |
Resumo e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3034-3034 |
TreatyDocument e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1038-1038 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |