confersRight |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3895-3897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17436-17438 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17433-17433 | 赋予权利 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17434-17434 | 赋予权利 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17435-17435 | 赋予权利 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17432-17432 | 赋予权利 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 203-203 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 204-204 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 51-51 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1950-1950 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 73-73 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 261-261 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 92-92 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 140-140 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 126-126 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 85-85 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17457-17457 | 授予执行任务 和 赋予权利 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16590-16590 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16589-16589 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16588-16588 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 119-119 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 721-726 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17440-17442 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 | |
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. | Dining.kif 336-350 | |
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. | Transportation.kif 3188-3198 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 89-103 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16200-16212 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8344-8364 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18586-18594 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 482-498 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 102-121 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2353-2372 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 343-345 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29868-29888 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22560-22574 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |