Hints for dynamic concept loading
The principal internal data structures for each context are
- context_table[view] := CONTEXT_DATA()
- KNIT[concept] := CONCEPT()
- CHIT[event] := EVENT()
The principal external data structure for each context is
- BOOT[concept] := PROPOSITION_LIST()
Hints for finding concepts
- use find command
do find od *Jordan*Michael* in KNIT done;
do find od *Jordan*Michael* in BOOT done;
do find od Athlete* in BOOT done;
do find od Country* in BOOT done;
- display classname of concept
Person isa* ?;
- display subhierarchy of concept
Person isc* ?;
other useful commands
- count unprocessed concepts
do size od BOOT done;
- list unprocessed concepts
every concept in BOOT; { do print od $concept done; };
- display proposition list of concept
do dump od Musician from BOOT done;