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 4160-4160 |
account used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2431-2431 |
agent is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1446-1446 |
bid amount is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23472-23472 |
arrested is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 226-226 |
arresting officer is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13106-13106 |
attends is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 443-443 |
attorney is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1680-1680 |
broker is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22871-22871 |
cargo is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 250-250 |
catalyst is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11012-11012 |
changes location is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 201-201 |
computer running is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19677-19677 |
contest participant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23421-23421 |
controlled is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23527-23527 |
conveyance is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1875-1875 |
data processed is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16265-16265 |
defendant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 280-280 |
defense lawyer is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2442-2442 |
destination is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6782-6782 |
detainee is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1703-1703 |
e-commerce site is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4120-4120 |
event located is an instance of case role |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |