subjectiveAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 310-311 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 313-313 | 域 subjectiveAttribute, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 314-314 | 域 subjectiveAttribute, 2 and Attribute |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 315-315 | 域 subjectiveAttribute, 3 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 312-312 | 例 subjectiveAttribute and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4690-4690 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4689-4689 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4688-4688 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 316-316 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3062-3075 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3030-3034 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3040-3044 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3091-3103 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1026-1030 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1012-1020 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 900-909 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 318-325 |
consequent |