instrument |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1875-1878 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2474-2478 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 499-502 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2471-2471 | O argumento numero 1 de instrument e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2472-2472 | O argumento numero 2 de instrument e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | instrument e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2470-2470 | instrument e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2468-2468 | instrument e' uma sub-relacao de patient |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | resource e instrument sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | result e instrument sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 135-135 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 136-136 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 89-89 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 150-150 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1916-1916 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 41-41 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 163-163 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 189-189 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 304-304 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 199-199 | computerRunning e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23532-23532 | conveyance e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1709-1709 | eCommerceSite e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8805-8805 | reagent e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 531-531 | standardErrorDevice e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 500-500 | standardInputDevice e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 514-514 | standardOutputDevice e' uma sub-relacao de instrument |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30259-30259 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 136-136 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4242-4248 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 57-62 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3516-3523 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22018-22025 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11560-11564 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3543-3554 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2546-2554 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1379-1389 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4287-4299 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4314 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12537-12547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1347-1358 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1619-1630 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1129-1142 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1239-1247 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6515-6523 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4391-4399 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 420-431 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 601-609 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1636-1643 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | IBookstore tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T |