| Prison
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6791-6793 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 154-154 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6790-6790 | Prison est une sous-classe de artefact stationnaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47422-47422 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47421-47421 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47420-47420 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6795-6805 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13951-13956 |
|
|
|
|