No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15009-15009 |
Industry e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5342-5342 |
InlandWaterSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1675-1675 |
Meal e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14448-14448 |
MediaSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 957-957 |
MerchantMarine e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 712-712 |
MonoploidChromosomeSet e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4486-4486 |
MultivariateTest e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 464-464 |
Outfit e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3781-3781 |
RemoteKeylessSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5510-5510 |
RiverSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 138-138 |
RoomInventory e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 669-669 |
Script e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11479-11479 |
Skull e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3362-3362 |
SolarSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26949-26949 |
SurveillanceSystem e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2049-2049 |
Train e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1126-1126 |
VisitorProfile e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 133-133 |
WebListingCategory e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2119-2119 |
WebStore e' uma sub-classe de Colecao |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 866-866 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 508-508 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 40-40 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 43-43 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |