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 22874-22874 |
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 15710-15710 |
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 6450-6450 |
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 15173-15173 |
experimental control is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2414-2414 |
instrument is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12145-12145 |
attached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12193-12193 |
detached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28856-28856 |
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 2454-2454 |
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 2494-2494 |
result is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6456-6456 |
target in attack is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22307-22307 |
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 |