No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 83-83 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 83-83 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1890-1890 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25121-25121 |
arrested is a subrelation of controlled |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17043-17043 |
arrested is a subrelation of controlled |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 84-84 |
arrested is a subrelation of controlled |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17042-17042 |
arrested is a subrelation of controlled |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17041-17041 |
arrested is a subrelation of controlled |