CaseRole(case role) |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1677-1677 | referee is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | resource is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2532-2532 | resource exhausted is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1992-1992 | resource used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2549-2549 | result is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22932-22932 | service provider is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22943-22943 | service recipient is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 532-532 | standard error device is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 501-501 | standard input device is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 515-515 | standard output device is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29628-29628 | suffers is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6816-6816 | target in attack is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22913-22913 | transported is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Law.kif 257-257 | victim is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Law.kif 207-207 | witness is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 904-904 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1015-1015 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 580-580 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 110-110 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2265-2265 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 532-532 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 147-147 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 601-601 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |