> ? [some #written_material]

[pm#graph1_on_written_material
     [any #written_material (^$(no inheritance)$^),
          may have for dc#Coverage: a pm#thing,
          may have for pm#title: a pm#string,
          may be pm#object of: a #publishing,
          pm#result of: a #writing,
          pm#authoring_date: a pm#time_measure,
          may have for pm#author: a #person,
          may have for dc#Creator: a pm#string,
          may be pm#part of: a #book,
          pm#descr of: a pm#situation,
          may have for dc#Source: a pm#document_element,
          may have for pm#url: a pm#URL]
];

[km#graph1_on_PhD_thesis
     [the pm#PhD_thesis,
          dc#Coverage: km#type_classification,
          pm#title: "Ontology Learning for the Semantic Web",
          dc#Creator: "A. Maedche",
          pm#url: http://www.wkap.nl/prod/b/0-7923-7656-0]
](06/05/2024);

[km#graph2_on_PhD_thesis
     [the pm#PhD_thesis,
          dc#Coverage: km#FCA_concept_exploration,
          pm#title: "Distribute Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis",
          dc#Creator: "Gerd Stumme",
          pm#object of: (a #publishing,
               pm#time: 1999 ,
               pm#place: pm#Darmstadt),
          pm#url: {http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml,http://dbah.int.gu.edu.au/kvo/reading/}]
](06/05/2024);

[km#graph3_on_PhD_thesis
     [the pm#PhD_thesis,
          dc#Coverage: km#FCA_concept_graph_with_negation,
          pm#title: "The Logic System of Concept Graphs with Negation",
          dc#Creator: "Frithjof Dau",
          pm#url: http://www.kvocentral.com/reports/dau.pdf]
](06/05/2024);

[pm#graph1_on_insurance
     [any #insurance,
          pm#consequence of: a pm#insurance,
          pm#result: an #insurance_policy]
];

[pm#graph1_on_insurance
     [any pm#insurance,
          pm#result: an #insurance_policy]
];


//6 graphs printed
//Search time: 0.002 s, printing time: 0.004 s (according to the Unix function gettimeofday())