Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ContentBearingProcess(content bearing process) |  | appellative, denotative, denotive, designative, extensional, naming |
| appearance as argument number 1 |
|
|
| (subclass ContentBearingProcess ContentBearingPhysical) | Merge.kif 1406-1406 | Content bearing process is a subclass of content bearing physical |
| (subclass ContentBearingProcess Process) | Merge.kif 1409-1409 | Content bearing process is a subclass of process |
| (documentation ContentBearingProcess EnglishLanguage "Any Process, for example ManualHumanLanguage, which may contain a Proposition.") | Merge.kif 1414-1415 | Content bearing process is a subclass of process |
| appearance as argument number 2 |
|
|
|