No TPTP formula. May not be expressible in strict first order. |
WMD.kif 87-87 |
O argumento numero 1 de AgentOfOrganismFn e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 931-931 |
O argumento numero 2 de AlbumCopiesFn e' uma sub-classe de DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7577-7577 |
O argumento numero 1 de AmountsFn e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1777-1777 |
O argumento numero 1 de AttrFn e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6234-6234 |
O argumento numero 1 de BodyAreaFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14972-14972 |
O argumento numero 2 de BodySideFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1169-1169 |
O argumento numero 2 de CellPartFn e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
O argumento numero 1 de ContestFn e' uma sub-classe de Contest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29725-29725 |
O argumento numero 1 de CoveringFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8589-8589 |
O argumento numero 2 de DayFn e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 115-115 |
O argumento numero 1 de DeadFn e' uma sub-classe de Objeto Organico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18239-18239 |
O argumento numero 1 de DeadOrMissingBodyPartFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18324-18324 |
O argumento numero 2 de DepartmentOfFn e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18395-18395 |
O argumento numero 2 de DepartmentOfPreventingFn e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
O argumento numero 1 de EdemaFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15508-15508 |
O argumento numero 1 de EditionFn e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4514-4514 |
O argumento numero 1 de FailureFn e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3667-3667 |
O argumento numero 1 de FarmOfProductFn e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3724-3724 |
O argumento numero 2 de FiscalYearStartingFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14858-14858 |
O argumento numero 1 de FoodForFn e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5498-5498 |
O argumento numero 1 de GeneralizedIntersectionFn e' uma sub-classe de Conjunto ou Classe |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5487-5487 |
O argumento numero 1 de GeneralizedUnionFn e' uma sub-classe de Conjunto ou Classe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6913-6913 |
O argumento numero 1 de GeographicPartTypeFn e' uma sub-classe de Area Geografica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8614-8614 |
O argumento numero 2 de HourFn e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18218-18218 |
O argumento numero 1 de ImpairedBodyPartFn e' uma sub-classe de Parte do Corpo |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |