![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3124-3126 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12097-12100 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1286-1286 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12096-12096 | Voting is a subclass of selecting |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1730-1730 | The values returned by voting are subclasses of voting |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61983-61983 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61982-61982 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61981-61981 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12102-12107 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14498-14504 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6800-6805 |
|
![]() |
![]() |