resource |
appearance as argument number 1 |
![]() |
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 2513-2513 | resource e result sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1887-1891 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2517-2523 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 512-516 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | O argumento numero 1 de resource e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2512-2512 | O argumento numero 2 de resource e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | resource e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2510-2510 | resource e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | resource e' uma sub-relacao de patient |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 181-181 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 256-256 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1939-1939 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 62-62 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 229-229 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 129-129 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8797-8797 | reactant e' uma sub-relacao de resource |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49723-49723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49722-49722 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 72-72 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12488-12495 | Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
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 30650-30671 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10298-10302 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10287-10291 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10274-10280 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 617-627 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 639-649 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11553-11557 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20414-20419 | |
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. | Merge.kif 12569-12578 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3163-3173 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3188-3196 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12536-12542 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5629-5635 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11809-11813 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8047-8052 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12585-12591 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12549-12555 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6477-6487 | Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo |
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. | 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. | Medicine.kif 3954-3964 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19378-19391 |
|
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. | Food.kif 2548-2562 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5772-5778 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3936-3941 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1033-1039 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1026-1031 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1886-1894 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 607-615 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 629-637 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3638-3645 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1566-1573 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4757-4763 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4746-4748 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3030-3036 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19647-19654 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |