domain |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1380-1385 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 211-219 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 38-44 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 40-48 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 208-208 | O argumento numero 1 de domain e' uma instancia de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 209-209 | O argumento numero 2 de domain e' uma instancia de Inteiro positivo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 210-210 | O argumento numero 3 de domain e' uma instancia de Classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 207-207 | domain e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 291-291 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 168-168 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 82-82 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1988-1988 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 120-120 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 177-177 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 378-378 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 122-122 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 188-188 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 175-175 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20112-20112 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20111-20111 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20110-20110 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 180-180 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31387-31394 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2998-3003 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 221-227 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 419-424 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16905-16909 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 186-190 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 186-190 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3375-3385 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3418-3428 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3438-3448 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3225-3225 | O argumento numero 1 de ABPFn e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3270-3270 | O argumento numero 1 de ASPFn e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2411-2411 | O argumento numero 1 de AbortedFn e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2412-2412 | O argumento numero 2 de AbortedFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2477-2477 | O argumento numero 2 de AbortedLaunchFn e' uma instancia de TakingOff |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2431-2431 | O argumento numero 2 de AbortedMissionFn e' uma instancia de MilitaryOperation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4762-4762 | O argumento numero 1 de AbsoluteValueFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1274-1274 | O argumento numero 1 de AccelerationFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1275-1275 | O argumento numero 2 de AccelerationFn e' uma instancia de Duracao Temporal |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1276-1276 | O argumento numero 3 de AccelerationFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1277-1277 | O argumento numero 4 de AccelerationFn e' uma instancia de Atributo Directional |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2316-2316 | O argumento numero 1 de AccountFn e' uma instancia de FinancialAsset |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4712-4712 | O argumento numero 1 de AdditionFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4713-4713 | O argumento numero 2 de AdditionFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 223-223 | O argumento numero 1 de AddressFn e' uma instancia de ComputerFile |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8834-8834 | O argumento numero 1 de AfternoonFn e' uma instancia de Dia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3056-3056 | O argumento numero 1 de AgreementOrganizationFn e' uma instancia de Agreement |
No TPTP formula. May not be expressible in strict first order. | Music.kif 930-930 | O argumento numero 1 de AlbumCopiesFn e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7578-7578 | O argumento numero 2 de AmountsFn e' uma instancia de Objeto Corpuscular |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7579-7579 | O argumento numero 3 de AmountsFn e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5259-5259 | O argumento numero 1 de ArcCosineFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5269-5269 | O argumento numero 1 de ArcSineFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5249-5249 | O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 786-786 | O argumento numero 1 de AssignmentFn e' uma instancia de Funcao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 787-787 | O argumento numero 2 de AssignmentFn e' uma instancia de Entidade |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |