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 736-736 | 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 18299-18306 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13461-13463 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18308-18314 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18278-18282 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21927-21932 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21960-21975 |
|