No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 171-171 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4083-4083 |
account used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21382-21382 |
controlled is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1880-1880 |
data processed is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13939-13939 |
defendant is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 324-324 |
defense lawyer is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6425-6425 |
detainee is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 211-211 |
evidence is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13402-13402 |
experimental control is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2374-2374 |
instrument is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27652-27652 |
objectTransferred is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1665-1665 |
plays is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1653-1653 |
referee is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2414-2414 |
resource is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1997-1997 |
resource used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2454-2454 |
result is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6431-6431 |
target in attack is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20782-20782 |
transported is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 301-301 |
victim is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 251-251 |
witness is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44719-44719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44718-44718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44717-44717 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |