No TPTP formula. May not be expressible in strict first order. |
WMD.kif 87-87 |
Le nombre 1 argument de AgentOfOrganismFn est une sous-classe de organisme |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 931-931 |
Le nombre 2 argument de AlbumCopiesFn est une sous-classe de DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7577-7577 |
Le nombre 1 argument de AmountsFn est une sous-classe de substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1777-1777 |
Le nombre 1 argument de AttrFn est une sous-classe de objet |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6234-6234 |
Le nombre 1 argument de BodyAreaFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14972-14972 |
Le nombre 2 argument de BodySideFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1169-1169 |
Le nombre 2 argument de CellPartFn est une sous-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
Le nombre 1 argument de ContestFn est une sous-classe de affrontement |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29725-29725 |
Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8589-8589 |
Le nombre 2 argument de DayFn est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 115-115 |
Le nombre 1 argument de DeadFn est une sous-classe de objet organique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18239-18239 |
Le nombre 1 argument de DeadOrMissingBodyPartFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18324-18324 |
Le nombre 2 argument de DepartmentOfFn est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18395-18395 |
Le nombre 2 argument de DepartmentOfPreventingFn est une sous-classe de processus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
Le nombre 1 argument de EdemaFn est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15508-15508 |
Le nombre 1 argument de EditionFn est une sous-classe de objet exprimant un sens |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4514-4514 |
Le nombre 1 argument de FailureFn est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3667-3667 |
Le nombre 1 argument de FarmOfProductFn est une sous-classe de organisme |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3724-3724 |
Le nombre 2 argument de FiscalYearStartingFn est une sous-classe de ann�e |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14858-14858 |
Le nombre 1 argument de FoodForFn est une sous-classe de organisme |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5498-5498 |
Le nombre 1 argument de GeneralizedIntersectionFn est une sous-classe de ensemble ou classe |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5487-5487 |
Le nombre 1 argument de GeneralizedUnionFn est une sous-classe de ensemble ou classe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6913-6913 |
Le nombre 1 argument de GeographicPartTypeFn est une sous-classe de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8614-8614 |
Le nombre 2 argument de HourFn est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18218-18218 |
Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |