range |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1490-1491 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 308-310 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 50-52 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 55-57 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 306-306 | O argumento numero 1 de range e' uma instancia de Funcao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 307-307 | O argumento numero 2 de range e' uma instancia de Classe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 305-305 | range e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 304-304 | range e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 313-313 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 318-318 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 179-179 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 238-238 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1999-1999 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 131-131 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 180-180 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 410-410 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 276-276 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 199-199 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 189-189 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 430-430 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 314-314 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48757-48757 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48756-48756 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3392-3396 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 312-316 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 324-330 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3227-3227 | O contra-dominio de ABPFn e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3272-3272 | O contra-dominio de ASPFn e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | O contra-dominio de AbortedFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2478-2478 | O contra-dominio de AbortedLaunchFn e' uma instancia de TakingOff |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2432-2432 | O contra-dominio de AbortedMissionFn e' uma instancia de MilitaryOperation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4763-4763 | O contra-dominio de AbsoluteValueFn e' uma instancia de Numero Real nao-negativo |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | O contra-dominio de AccelerationFn e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | O contra-dominio de AccountFn e' uma instancia de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4714-4714 | O contra-dominio de AdditionFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 224-224 | O contra-dominio de AddressFn e' uma instancia de PhysicalAddress |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8835-8835 | O contra-dominio de AfternoonFn e' uma instancia de Afternoon |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3057-3057 | O contra-dominio de AgreementOrganizationFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7580-7580 | O contra-dominio de AmountsFn e' uma instancia de Lista |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5260-5260 | O contra-dominio de ArcCosineFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5270-5270 | O contra-dominio de ArcSineFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5250-5250 | O contra-dominio de ArcTangentFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 788-788 | O contra-dominio de AssignmentFn e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3195-3195 | O contra-dominio de AuctionGMBFn e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | Military.kif 866-866 | O contra-dominio de AvailableForMilitaryServiceMaleFn e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3272-3272 | O contra-dominio de AverageFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | O contra-dominio de BackFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7983-7983 | O contra-dominio de BeginFn e' uma instancia de Ponto no tempo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5943-5943 | O contra-dominio de BeginNodeFn e' uma instancia de No' do Grafo |
No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | O contra-dominio de BeliefGroupMemberFn e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2914-2914 | O contra-dominio de BidCountFn e' uma instancia de Numero Inteiro nao-negativo |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |