> ? [some #group_action]

[it#graph1_on_WWW8
     [is#WWW8,
          pm#place: #Toronto,
          pm#from_time: 11/5/1999 ,
          pm#until_time: 14/5/1999 ]
];

[it#graph1_on_WWW_2002
     [is#WWW_2002,
          pm#place: #Honolulu,
          pm#from_time: 6/5/2002 ,
          pm#until_time: 11/5/2002 ]
];

[km#graph1_on_article
     [an #article,
          dc#Coverage: km#knowledge_representation,
          pm#title: "What Is a Knowledge Representation?",
          dc#Creator: "Randall Davis, Howard E. Shrobe and Peter Szolovits",
          pm#object of: (a #publishing,
               pm#time: 1993 ,
               pm#place: (the #object_section "14:1 p17-33",
                    pm#part of: is#AI_Magazine)),
          pm#url: http://medg.lcs.mit.edu/ftp/psz/k-rep.html]
](06/05/2024);

[km#graph2_on_article
     [an #article,
          dc#Coverage: km#knowledge_translation,
          pm#title: "Relationships with other formalisms",
          dc#Creator: "D. Nardi, U. Sattler, D. Calvanese, R. Molitor",
          pm#part of: (a #book,
               pm#title: "Relationships with other formalisms",
               pm#object of: (a #publishing,
                    pm#time: 2002 ,
                    pm#agent: is#Cambridge_University_Press)),
          pm#url: http://www.itee.uq.edu.au/~comp4001/dlbackground2.pdf]
](06/05/2024);

[km#graph1_on_ICCS_2000
     [km#ICCS_2000,
          pm#place: pm#Darmstadt,
          pm#from_time: 14/8/2000 ,
          pm#until_time: 18/8/2000 ]
](06/05/2024);

[km#graph3_on_article
     [an #article,
          dc#Coverage: km#KR_model/structure,
          pm#title: "Linearly Complex Model for Knowledge Representation",
          dc#Creator: "Janos Sarbo, József Farkas",
          pm#object of: (a #publishing,
               pm#place: (a pm#conference_proceedings,
                    pm#object of: km#ICCS_2002)),
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph4_on_article
     [an #article,
          dc#Coverage: km#Peirce_based_KR_methodology_task,
          pm#title: "A Peircean Ontology of Semantics",
          dc#Creator: "József Farkas, Janos Sarbo",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph5_on_article
     [an #article,
          dc#Coverage: is#distributed_system_methodology_task,
          pm#title: "Towards a Pragmatic Web",
          dc#Creator: "Aldo de Moor, Mary Keeler, Gary Richmond",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph6_on_article
     [an #article,
          dc#Coverage: {km#SNEPSwD,km#permissive_belief_revision},
          pm#title: "Extending SNePSwD with Permissive Belief Revision",
          dc#Creator: "César F. Pimentel, Maria R. Cravo",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph7_on_article
     [an #article,
          dc#Coverage: {is#mathematical_symbolic_structure,is#symbolic_structure_not_fully_mathematically_defined},
          pm#title: "Associative and Formal Concepts",
          dc#Creator: "Uta Priss",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph8_on_article
     [an #article,
          dc#Coverage: {km#CG_based_KR,km#CGLF,km#CGIF,km#KIF,km#FCG,km#FE},
          pm#title: "Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English",
          pm#author: spamOnly@phmartin.info,
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph9_on_article
     [an #article,
          dc#Coverage: km#CG_based_KR,
          pm#title: "CG Representations of Non-literal Expressions",
          dc#Creator: "Henrik Schärfe",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph10_on_article
     [an #article,
          dc#Coverage: km#CGWorld,
          pm#title: "CGWorld - Architecture and Features",
          dc#Creator: "Pavlin Dobrev, Kristina Toutanova",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph11_on_article
     [an #article,
          dc#Coverage: km#teaching_CGs,
          pm#title: "On Teaching Conceptual Graphs",
          dc#Creator: "Henrik Schärfe, Ulrik Petersen, Peter Øhrstroøm",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph12_on_article
     [an #article,
          dc#Coverage: {km#document_structure_analysis_or_discovery,km#FCA_based_storage_of_CGs},
          pm#title: "Text Schema Mining Using Graphs and Formal Concept Analysis",
          dc#Creator: "Felix H. Gatzemeier, Oliver Meyer",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph13_on_article
     [an #article,
          dc#Coverage: {km#CG_extraction_by_NLP,km#conceptual_clustering_via_a_CG_generalization_hierarchy},
          pm#title: "Text Mining at Detail Level Using Conceptual Graphs",
          dc#Creator: "M. Montes-y-Gómez, A. Gelbukh, A. López-López",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph14_on_article
     [an #article,
          dc#Coverage: km#knowledge-oriented_NLP,
          pm#title: "Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs",
          dc#Creator: "Dennis Reidsma",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph15_on_article
     [an #article,
          dc#Coverage: {km#conversion_between_RDF_and_CG,km#conceptual_clustering_via_a_CG_generalization_hierarchy},
          pm#title: "Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents",
          dc#Creator: "Alexandre Delteil, Catherine Faron, Rose Dieng",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph16_on_article
     [an #article,
          dc#Coverage: km#conversion_between_RDF_and_CG,
          pm#title: "The CG Formalism as an Ontolingua for Web-Oriented Representation Languages",
          dc#Creator: "Olivier Gerbé, Guy W. Mineau",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph17_on_article
     [an #article,
          dc#Coverage: km#ontology_building_methodology_task,
          pm#title: "A Viewpoint Model for Cooperative Building of an Ontology",
          dc#Creator: "Myriam Ribière, Rose Dieng-Kuntz",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph18_on_article
     [an #article,
          dc#Coverage: {km#conceptual_clustering_via_a_category_generalization_hierarchy,km#conceptual_clustering_from_emails},
          pm#title: "The Use of Associative Concepts in the Incremental Building of a Logical Context",
          dc#Creator: "Sébastien Ferré, Olivier Ridoux",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph1_on_book
     [a #book,
          dc#Coverage: km#knowledge_extraction_from_databases,
          pm#title: "Advances in Knowledge Discovery and Data Mining",
          dc#Creator: "U.M. Fayyad, G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy (eds)",
          pm#object of: (a #publishing,
               pm#time: 1996 ,
               pm#agent: is#AAAI/MIT_Press)]
](06/05/2024);

[km#graph19_on_article
     [an #article,
          dc#Coverage: km#mapping/merging/federation_of_CG_based_KBs,
          pm#title: "A First Step Toward the Knowledge Web: Interoperability Issues Among Conceptual Graph Based Software Agents, Part I",
          dc#Creator: "Guy W. Mineau",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph20_on_article
     [an #article,
          dc#Coverage: km#CG_matching,
          pm#title: "Conceptual Graph Matching for Semantic Search",
          dc#Creator: "Jiwei Zhong, Haiping Zhu, Jianming Li, Yong Yu",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph21_on_article
     [an #article,
          dc#Coverage: {km#CG_extraction_by_NLP,km#knowledge_search_task},
          pm#title: "Processing Negation in NL Interfaces to Knowledge Bases",
          dc#Creator: "Svetla Boytcheva, Albena Strupchanska, Galia Angelova",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph22_on_article
     [an #article,
          dc#Coverage: km#mapping/merging/federation_of_FCA_based_KBs,
          pm#title: "Information Transfer across Simple Concept Graphs",
          dc#Creator: "Grit Malik",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph23_on_article
     [an #article,
          dc#Coverage: km#FCA_domain,
          pm#title: "Formal Concept Analysis: Mathematical Foundations",
          dc#Creator: "Bernhard Ganter, Rudolf Wille",
          pm#object of: (a #publishing,
               pm#time: 1999 ,
               pm#agent: is#Springer_Verlag),
          pm#url: http://www.math.tu-dresden.de/~ganter/FCAbooks.html]
](06/05/2024);

[km#graph24_on_article
     [an #article,
          dc#Coverage: km#FCA_based_KDD,
          pm#title: "Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods",
          dc#Creator: "Gerd Stumme, Rudolf Wille",
          pm#object of: (a #publishing,
               pm#time: 1998 ,
               pm#agent: is#Springer_Verlag)]
](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#graph25_on_article
     [an #article,
          dc#Coverage: {km#FCA_attribute_exploration,km#FCA_concept_exploration},
          pm#title: "Explorations tools in Formal Concept Analysis",
          dc#Creator: "Gerd Stumme",
          pm#object of: (a #publishing,
               pm#time: 1996 ,
               pm#agent: is#Springer_Verlag),
          pm#url: http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml]
](06/05/2024);

[km#graph26_on_article
     [an #article,
          dc#Coverage: {km#FCA_domain,km#KA_methodology_task},
          pm#title: "Formal Concept Analysis on its Way from Mathematics to Computer Science",
          dc#Creator: "Gerd Stumme",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph27_on_article
     [an #article,
          dc#Coverage: km#FCA_relation_graph,
          pm#title: "Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations",
          dc#Creator: "Silke Pollandt",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph28_on_article
     [an #article,
          dc#Coverage: {km#FCA_domain,#relational_database},
          pm#title: "Relational Scaling and Databases",
          dc#Creator: "Joachim Hereth",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph29_on_article
     [an #article,
          dc#Coverage: {km#FCA_incomplete_context,#modal_logic},
          pm#title: "Modal Logic for Evaluating Formulas in Incomplete Contexts",
          dc#Creator: "Sergei Obiedkov",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph30_on_article
     [an #article,
          dc#Coverage: {km#FCA_concept_graph_with_cuts,km#conversion_from_EGs_to_concept_graphs_with_cuts},
          pm#title: "An Embedding of Existential Graphs into Concept Graphs with Negations",
          dc#Creator: "Frithjof Dau",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph31_on_article
     [an #article,
          dc#Coverage: {km#Temporal_Concept_Analysis,is#automata_theory},
          pm#title: "Interpretation of Automata in Temporal Concept Analysis",
          dc#Creator: "Karl Erich Wolff",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph32_on_article
     [an #article,
          dc#Coverage: km#FCA_semiconcept_graph_with_variables,
          pm#title: "Semiconcept Graphs with Variables",
          dc#Creator: "Julia Klinger",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph33_on_article
     [an #article,
          dc#Coverage: {km#FCA_protoconcept_graph,km#FCA_existential_concept_graph,km#FCA_contextual_judgement_logic},
          pm#title: "Existential Concept Graphs of Power Context Families",
          dc#Creator: "Rudolf Wille",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[km#graph34_on_article
     [an #article,
          dc#Coverage: {is#software_classification,km#FCA_based_conceptual_clustering},
          pm#title: "The 'Right' Level of Abstraction - Assessing Reusable Software with Formal Concept Analysis",
          dc#Creator: "S. Schupp, M. Krishnamoorthy, M. Zalewski, J. Kilbride",
          pm#in_proceedings of: km#ICCS_2002]
](06/05/2024);

[pm#graph1_on_creation_result
     [any #creation_result (^$(no inheritance)$^),
          pm#result of: a #creation,
          may have for pm#identifier: a pm#serial_number,
          #monetary_value: a #monetary_value,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#doer/object/result/place of (^$(explore)$^): a pm#process]
];

[pm#graph1_on_transaction
     [any #transaction (^$(no inheritance)$^),
          pm#object: a pm#thing,
          pm#place: a #region,
          pm#seller: a menu#person_or_organization (^$(explore 1)$^),
          pm#customer: a menu#person_or_organization (^$(explore 1)$^),
          #asking_price: an #asking_price,
          #purchase_price: a #purchase_price,
          may have for pm#relation_from_situation_to_time (^$(explore)$^): a pm#time_measure,
          may have for pm#doer/object/result/place (^$(explore)$^): a pm#thing,
          may have for pm#relation_from_situation (^$(explore)$^): a pm#thing]
];

[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]
];

[pm#graph1_on_conference
     [any #conference (^$(no inheritance)$^),
          pm#topic: a #thing,
          pm#place: an #address,
          pm#from_time: a pm#time_measure,
          pm#until_time: a pm#time_measure,
          may have for pm#object: a pm#conference_proceedings,
          pm#title: a pm#string,
          pm#organizer: a #person,
          pm#participant: a #person,
          may have for pm#relation_from_situation (^$(explore)$^): a pm#thing,
          may have for pm#url: a pm#URL]
];

[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]
];

[pm#graph1_on_publication
     [any #publication (^$(no inheritance)$^),
          may have for dc#Coverage: a pm#thing,
          may have for pm#title: a pm#string,
          pm#object of: a #publishing,
          pm#result of: a #writing,
          pm#authoring_date: a pm#time_measure,
          may have for pm#author: several #person,
          may have for dc#Creator: a pm#string,
          may have for pm#editor: an #editor,
          pm#descr of: a pm#situation,
          may have for dc#Source: a pm#document_element,
          may have for pm#url: a pm#URL]
];

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

[pm#graph35_on_article
     [any #article (^$(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: several #person,
          may have for dc#Creator: a pm#string,
          may be pm#part of: a #book,
          may be pm#in_proceedings of: a #conference,
          pm#descr of: a pm#situation,
          may have for dc#Source: a pm#document_element,
          may have for pm#url: a pm#URL]
];

[pm#graph1_on_spatial_object
     [any pm#spatial_object (^$(no inheritance)$^),
          menu#spatial_characteristic (^$(explore 1)$^): a pm#spatial_attribute_or_quality_or_measure,
          pm#relation_to_another_spatial_object (^$(explore 2)$^): a pm#spatial_object,
          may have for pm#owner: a menu#person_or_organization (^$(explore 1)$^),
          #monetary_value: a #monetary_value,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          pm#place of: a pm#situation]
];

[pm#graph1_on_physical_entity
     [any pm#physical_entity (^$(no inheritance)$^),
          pm#physical_part: a pm#physical_entity,
          pm#matter: a #substance,
          pm#physical_part of: a pm#physical_entity,
          pm#location: a pm#spatial_object,
          menu#spatial_characteristic (^$(explore 1)$^): a pm#spatial_attribute_or_quality_or_measure,
          menu#physical_characteristic (^$(explore 2)$^): a menu#physical_characteristic,
          may have for pm#owner: a menu#person_or_organization (^$(explore 1)$^),
          #monetary_value: a #monetary_value,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#doer/object/result/place of (^$(explore)$^): a pm#situation]
];

[pm#graph1_on_artifact
     [any #artifact (^$(no inheritance)$^),
          pm#physical_part: a pm#physical_entity,
          pm#matter: a #substance,
          pm#physical_part of: a pm#physical_entity,
          pm#location: a pm#spatial_object,
          menu#spatial_characteristic (^$(explore 1)$^): a pm#spatial_attribute_or_quality_or_measure,
          menu#physical_characteristic (^$(explore 2)$^): a menu#physical_characteristic,
          may have for pm#owner: a menu#person_or_organization (^$(explore 1)$^),
          #monetary_value: a #monetary_value,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#doer/object/result/place of (^$(explore)$^): a pm#process]
];

[pm#graph1_on_substance
     [any #substance (^$(no inheritance)$^),
          pm#matter of: a pm#physical_entity,
          pm#matter: a #substance,
          pm#physical_part of: a pm#physical_entity,
          pm#physical_part: a pm#physical_entity,
          menu#physical_characteristic (^$(explore 2)$^): a menu#physical_characteristic,
          #monetary_value: a #monetary_value,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#object/result of (^$(explore)$^): a pm#process]
];

[pm#graph1_on_housing
     [any #housing (^$(no inheritance)$^),
          #address: an #address,
          may have for pm#phone_No: a pm#string,
          may have for pm#fax_No: a pm#string,
          may have for pm#owner: a menu#person_or_organization (^$(explore 1)$^),
          may have for pm#facility: a #facility (^$(explore 2)$^),
          may have for pm#part: a #room,
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          #monetary_value: a #monetary_value,
          may be pm#doer/object/result/place of (^$(explore)$^): a pm#situation]
];

[pm#graph1_on_animal
     [any #animal (^$(no inheritance)$^),
          #weight: 0.001 to 5000 #kilogram,
          #height: 0.001 to 5 #meter,
          #width: 0.001 to 5 #meter,
          pm#physical_part: a #body_part,
          pm#experiencer of: a #birth,
          may have for pm#owner: a menu#person_or_organization (^$(explore 1)$^),
          may be pm#object of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#experiencer of: a pm#situation,
          may be pm#recipient of: a pm#situation,
          may be pm#doer/object/result/place of (^$(explore)$^): a pm#situation]
];

[pm#graph3_on_person
     [any #person (^Possessions^),
          may be pm#agent of: a pm#commercial_transaction (^$(explore 1)$^),
          may be pm#owner of: a #housing,
          may be pm#owner of: an #artifact,
          may be pm#owner of: an #animal]
];

[pm#graph4_on_spamOnly@phmartin.info
     [spamOnly@phmartin.info,
          pm#agent of: (a #rental,
               pm#object: (an #apartment,
                    pm#part: 1 #bedroom,
                    pm#location: QLD#Southport),
               pm#instrument: 140 #Australian_dollar,
               #period: a #calendar_week,
               pm#beneficiary: pm#Spirit_Of_Finance)]
](15/10/2000);

[pm#graph6_on_spamOnly@phmartin.info
     [spamOnly@phmartin.info,
          pm#agent of: (a #wish,
               pm#object: [a #sale,
                         pm#object: an #electric_refrigerator,
                         #asking_price: 190 #Australian_dollar,
                         pm#place: QLD#Southport])]
](15/09/2001);

[pm#graph2_on_Corolla_AE93_CSI_manual_hatchback
     [the Toyota#Corolla_AE93_CSI_manual_hatchback,
          pm#kind: pm#used_car,
          pm#part: a pm#air_conditioning_system,
          pm#attribute: 120000 #kilometer,
          #color: a #red,
          pm#owner: spamOnly@phmartin.info,
          #monetary_value: 7000 #Australian_dollar,
          pm#location: QLD#Southport,
          pm#object of: (a #sell,
               #asking_price: 6500 #Australian_dollar,
               pm#time: 9/3/2002 ,
               pm#place: QLD#Southport),
          pm#object of: (a #trade,
               pm#time: 21/4/1998 ,
               pm#place: QLD#Southport,
               pm#seller: pm#Car_Carnival,
               pm#customer: spamOnly@phmartin.info,
               #purchase_price: 11400 #Australian_dollar),
          pm#object of: (an #insurance,
               pm#from_time: 28/4/1999 ,
               pm#until_time: 28/4/2000 ,
               pm#seller: pm#Suncorp_Metway,
               #customer: spamOnly@phmartin.info,
               #monetary_value: 476.55 #Australian_dollar)]
](04/03/2002);

[jbar#graph1_on_156_manual
     [a Alfa_Romeo#156_manual,
          pm#kind: pm#new_car,
          #monetary_value: 26000 #Australian_dollar,
          pm#object of: (a #sell,
               #asking_price: 25000 #Australian_dollar,
               pm#seller: jbar#John_Briggs_Alfa_Romeo,
               pm#place: QLD#Fortitude_Valley)]
](04/03/2002);

[vin#graph1_on_production
     [a #production,
          pm#place: vin#Chateau_Margaux,
          pm#time: 2003 ,
          pm#object: (the #Bordeaux_wine,
               #volume: 20000 #liter)]
](07/05/2024);


//60 graphs printed
//Search time: 0.0071 s, printing time: 0.03 s (according to the Unix function gettimeofday())