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 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4126-4126 |
account used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22850-22850 |
controlled is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1879-1879 |
data processed is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15686-15686 |
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 6446-6446 |
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 15149-15149 |
experimental control is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2408-2408 |
instrument is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12139-12139 |
attached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12187-12187 |
detached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28832-28832 |
objectTransferred is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
plays is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1646-1646 |
referee is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2448-2448 |
resource is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1996-1996 |
resource used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2488-2488 |
result is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6452-6452 |
target in attack is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22283-22283 |
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 44773-44773 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |