domain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | O argumento numero 2 de AttrFn e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | O argumento numero 1 de AuctionGMBFn e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. | Military.kif 865-865 | O argumento numero 1 de AvailableForMilitaryServiceMaleFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | O argumento numero 1 de AverageFn e' uma instancia de Lista |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | O argumento numero 1 de BackFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | O argumento numero 1 de BeginFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | O argumento numero 1 de BeginNodeFn e' uma instancia de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | O argumento numero 1 de BeliefGroupMemberFn e' uma instancia de BeliefGroup |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | O argumento numero 1 de BidCountFn e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. | People.kif 69-69 | O argumento numero 1 de BirthsPerThousandFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | People.kif 70-70 | O argumento numero 2 de BirthsPerThousandFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | O argumento numero 1 de BodySideFn e' uma instancia de AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | O argumento numero 1 de BorderFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | O argumento numero 2 de BorderFn e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | O argumento numero 1 de BoughtItemsFn e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1319-1319 | O argumento numero 1 de CPUUtilizationFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1527-1527 | O argumento numero 1 de CabinetFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | O argumento numero 1 de CeilingFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | O argumento numero 1 de CellPartFn e' uma instancia de Celula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7639-7639 | O argumento numero 1 de CenterOfCircleFn e' uma instancia de Circle |
No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | O argumento numero 1 de ChildrenBornPerWomanFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | O argumento numero 2 de ChildrenBornPerWomanFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8039-8039 | O argumento numero 1 de CitizenryFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | O argumento numero 1 de ClickThroughRateFn e' uma instancia de Colecao |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |