No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27009-27009 |
Artifact mediated communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13056-13056 |
Disseminating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13108-13108 |
Expressing is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13091-13091 |
Gesture is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 218-218 |
In person communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1016-1016 |
Indicating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13126-13126 |
Linguistic communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2959-2959 |
Telephoning is a subclass of communication |
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 |
|