![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16739-16743 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6943-6943 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8173-8173 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8174-8174 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8175-8175 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8176-8176 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8177-8177 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8178-8178 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16738-16738 | University e' uma sub-classe de PostSecondarySchool |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3151-3151 | CalPoly e' uma instancia de University |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60458-60458 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60457-60457 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60456-60456 |
appearance as argument number 4 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16722-16722 | O conceito PostSecondarySchool e' completamente decomposto em JuniorCollege, College, + University |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16750-16755 |
|
![]() |
![]() |