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 4161-4161 |
account used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23377-23377 |
controlled is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1874-1874 |
data processed is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16108-16108 |
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 6746-6746 |
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 15571-15571 |
experimental control is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2445-2445 |
instrument is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12236-12236 |
attached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12284-12284 |
detached is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11251-11251 |
object transferred is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1690-1690 |
plays is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1678-1678 |
referee is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2485-2485 |
resource is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1991-1991 |
resource used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2525-2525 |
result is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6752-6752 |
target in attack is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22810-22810 |
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 44776-44776 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |