Did you know ... Search Documentation:
Pack logicmoo_cg -- test/ontology/dynamicOntologyLog.txt

- --------------------- New Integration -------------------------

  • Creating a new situation node with content: [Man]<-agnt-[Eat]
  • Pertinent Types and their associated Entry Points in the New CG :
  • Eat : [[Eat]]
  • Man : [[Man]]
  • Integrate the new CS from focus : Eat and using as entry point: [Eat]
  • current ont node: Eat
  • Proceeding the case of MORE_SPECIFIC
  • Integration done for:Eat
  • Integrate the new CS from focus : Man and using as entry point: [Man]
  • current ont node: Man
  • Proceeding the case of MORE_SPECIFIC
  • Compare and proceed with the child: Boy
  • Checking if the new CS has been compared with : Boy
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: AIScientist
  • Checking if the new CS has been compared with : AIScientist
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: imad
  • Checking if the new CS has been compared with : imad
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: michael
  • Checking if the new CS has been compared with : michael
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: [Drink : *p1 ] - -obj->[Water], -agnt->[Man]
  • Checking if the new CS has been compared with : [Drink : *p1 ] - -obj->[Water], -agnt->[Man]
  • No, not already compared
  • Comparison operation :
  • The result of the comparison is :UNCOMPARABLE
  • current ont node: [Drink : *p1 ] - -obj->[Water], -agnt->[Man]
  • Compare and proceed with the child: [Drive : *p1 ] - -instr->[Car], -agnt->[Man]
  • Checking if the new CS has been compared with : [Drive : *p1 ] - -instr->[Car], -agnt->[Man]
  • No, not already compared
  • Comparison operation :
  • The result of the comparison is :UNCOMPARABLE
  • current ont node: [Drive : *p1 ] - -instr->[Car], -agnt->[Man]
  • Compare and proceed with the child: Robert
  • Checking if the new CS has been compared with : Robert
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Tinman
  • Checking if the new CS has been compared with : Tinman
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Figaro
  • Checking if the new CS has been compared with : Figaro
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: ArtSponsor
  • Checking if the new CS has been compared with : ArtSponsor
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Karim
  • Checking if the new CS has been compared with : Karim
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Samir
  • Checking if the new CS has been compared with : Samir
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Tom
  • Checking if the new CS has been compared with : Tom
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Karl
  • Checking if the new CS has been compared with : Karl
  • No, not already compared
  • Comparison operation :
  • Compare and proceed with the child: Drinker
  • Checking if the new CS has been compared with : Drinker
  • No, not already compared
  • Comparison operation :
  • Integration done for:Man
  • The new CS has been integrated successfully - ---------------------End of Integration-------------------------