No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26997-26997 |
ArtifactMediatedCommunication e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13078-13078 |
Disseminar e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13130-13130 |
Exprimir e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13113-13113 |
Gesture e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 218-218 |
InPersonCommunication e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1016-1016 |
Indicating e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13148-13148 |
LinguisticCommunication e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2959-2959 |
Telephoning e' uma sub-classe de Communicacao |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1195-1195 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1607-1607 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 873-873 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2557-2557 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 825-825 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 894-894 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 410-410 |
|