|
|
  SecretaryOfTheInterior
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3378-3380 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1299-1299 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3377-3377 | 子類 車輛控制器 and Device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3397-3397 | 子類 方向盤 and 車輛控制器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3405-3405 | 子類 車輛制動器 and 車輛控制器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3421-3421 | 子類 車輛油門 and 車輛控制器 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61372-61372 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61371-61371 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61370-61370 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3382-3387 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3389-3395 |
|
|
|
