No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 384-384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4123-4123 |
account used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2371-2371 |
agent is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1649-1649 |
bid amount is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22916-22916 |
arrested is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 269-269 |
arresting officer is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12838-12838 |
attends is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 487-487 |
attorney is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1888-1888 |
broker is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22315-22315 |
cargo is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 205-205 |
catalyst is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10860-10860 |
changes location is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 199-199 |
computer running is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19048-19048 |
contest participant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22865-22865 |
controlled is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22971-22971 |
conveyance is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1880-1880 |
data processed is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15707-15707 |
defendant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 323-323 |
defense lawyer is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2382-2382 |
destination is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6443-6443 |
detainee is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16662-16662 |
direction is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1911-1911 |
eCommerceSite is an instance of case role |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |