CommercialAgent![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3658-3659 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16349-16351 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10684-10684 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9950-9950 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10687-10687 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10686-10686 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16348-16348 | CommercialAgent ay ang klase mas tiyak sa AutonomousAgent |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8775-8775 | NonprofitOrganization ay iba ng CommercialAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16354-16354 | Business ay ang klase mas tiyak sa CommercialAgent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15777-15777 | Business ay ang klase mas tiyak sa CommercialAgent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15776-15776 | Business ay ang klase mas tiyak sa CommercialAgent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15775-15775 | Business ay ang klase mas tiyak sa CommercialAgent |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 106-125 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8268-8272 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8925-8929 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12027-12032 |
|
![]() |
![]() |