********** revision swan>. // Robin is similar to swan. swan>. %0.10;0.60% // I think robin is not similar to swan. 1 OUT: swan>. %0.87;0.91% // Robin is probably similar to swan. ********** comparison swimmer>. %0.90% // Swan is a type of swimmer. bird>. // Swan is a type of bird. 5 OUT: swimmer>. %0.90;0.45% // I guess that bird is similar to swimmer. ********** comparison competition>. // Sport is a type of competition. competition>. %0.90% // Chess is a type of competition. 5 OUT: sport>. %0.90;0.45% // I guess chess is similar to sport. ********** analogy swimmer>. // Swan is a type of swimmer. swan>. // Gull is similar to swan. 5 OUT: swimmer>. %1.00;0.81% // I think gull is a type of swimmer. ********** analogy swimmer>. // Gull is a type of swimmer. swan>. // Gull is similar to a swan. 5 OUT: swimmer>. %1.00;0.81% // I believe a swan is a type of swimmer. ********** resemblance swan>. // Robin is similar to swan. swan>. // Gull is similar to swan. 5 OUT: robin>. %1.00;0.81% // Gull is similar to robin. ********** conversions between inheritance and similarity bird>. // Swan is a type of bird. swan>. %0.10% // Bird is not a type of swan. 3 OUT: swan>. %0.10;0.89% // Bird is different from swan. ********** conversions between inheritance and similarity bird>. // Swan is a type of bird. swan>. %0.10% // Bird is different from swan. 3 OUT: swan>. %0.10;0.74% // Bird is probably not a type of swan. ********** conversions between inheritance and similarity bird>. %0.90% // Swan is a type of bird. swan>? // Is bird similar to swan? 4 OUT: swan>. %0.90;0.47% // I guess that bird is similar to swan. ********** conversions between inheritance and similarity swan>. %0.90% // a bird is similar to a swan. bird>? // Is swan a type of bird? 4 OUT: bird>. %0.90;0.81% // A swan is a type of bird. ********** translating instance into inheritance . // Tweety is a bird. IN: <{Tweety} --> bird>. %1.00;0.90% // Tweety is a bird. ********** translating property into inheritance . // Ravens are black. IN: [black]>. %1.00;0.90% // Ravens are black. ********** translating instance-property into inheritance . // Tweety is yellow. IN: <{Tweety} --> [yellow]>. %1.00;0.90% // Tweety is yellow. ********** set definition <{Tweety} --> {Birdie}>. // Tweety is Birdie. 7 OUT: <{Birdie} <-> {Tweety}>. %1.00;0.90% // Birdie is similar to Tweety. ********** set definition <[smart] --> [bright]>. // Smart thing is a type of bright thing. 5 OUT: <[bright] <-> [smart]>. %1.00;0.90% // Bright thing is similar to smart thing. ********** set definition <{Birdie} <-> {Tweety}>. // Birdie is similar to Tweety. 5 OUT: Tweety>. %1.00;0.90% // Birdie is similar to Tweety. OUT: <{Tweety} --> {Birdie}>. %1.00;0.90% // Tweety is Birdie. ********** set definition <[bright] <-> [smart]>. // Bright thing is similar to smart thing. 5 OUT: smart>. %1.00;0.90% // Bright is similar to smart. OUT: <[bright] --> [smart]>. %1.00;0.90% // Bright thing is a type of smart thing. ********** structure transformation Tweety>. %0.90% // Birdie is similar to Tweety <{Birdie} <-> {Tweety}>? // Is Birdie similar to Tweety? 2 OUT: <{Birdie} <-> {Tweety}>. %0.90;0.90% // Birdie is similar to Tweety. ********** structure transformation smart>. %0.90% // Bright is similar to smart. <[bright] --> [smart]>? // Is bright thing a type of smart thing? 2 OUT: <[bright] --> [smart]>. %0.90;0.81% // Bright thing is a type of smart thing. ********** backward inference swimmer>. // Bird is a type of swimmer. <{?x} --> swimmer>? // What is a swimmer? 4 OUT: <{?1} --> bird>? // What is a bird?