|
|
   SentientAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1684-1688 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1568-1574 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 277-281 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | Sentient agent est une sous-classe de AutonomousAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1576-1576 | Agent cognitif est une sous-classe de sentient agent |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 849-849 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 900-900 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 525-525 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2210-2210 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 477-477 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 92-92 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 546-546 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 60-60 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 17-17 | Le nombre 1 argument de detainedAtTimeInPlace est une instance de sentient agent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 729-729 | Le nombre 1 argument de speaksLanguage est une instance de sentient agent |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18378-18385 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13507-13509 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18387-18393 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18357-18361 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21979-21984 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22012-22027 |
|
|
|
|