Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - abstractPart
abstractPart

appearance as argument number 1
-------------------------


s__documentation(s__abstractPart__m,s__EnglishLanguage,'"A meronymy relation similar to part, but for abstract rather than physical things."')

Mid-level-ontology.kif 20677-20678
s__domain(s__abstractPart__m,n__1,s__Abstract)

Mid-level-ontology.kif 20682-20682 The number 1 argument of abstract part is an instance of abstract
s__domain(s__abstractPart__m,n__2,s__Abstract)

Mid-level-ontology.kif 20683-20683 The number 2 argument of abstract part is an instance of abstract
s__instance(s__abstractPart__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 20681-20681 abstract part is an instance of binary predicate
s__instance(s__PartialOrderingRelation,s__SetOrClass)

s__instance(s__abstractPart__m,s__PartialOrderingRelation)

Mid-level-ontology.kif 20680-20680 abstract part is an instance of partial ordering relation

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__abstractPart__m,'"%1 is %n a part of %2"')

Mid-level-ontology.kif 20684-20684
s__termFormat(s__ChineseLanguage,s__abstractPart__m,'"抽象的部分"')

domainEnglishFormat.kif 5189-5189
s__termFormat(s__ChineseTraditionalLanguage,s__abstractPart__m,'"抽象的部分"')

domainEnglishFormat.kif 5188-5188
s__termFormat(s__EnglishLanguage,s__abstractPart__m,'"abstract part"')

domainEnglishFormat.kif 5187-5187
s__termFormat(s__EnglishLanguage,s__abstractPart__m,'"part"')

Mid-level-ontology.kif 20679-20679

antecedent
-------------------------


( ! [V__MULTIPOLE,V__POLE] :
   (s__instance(V__MULTIPOLE,s__Abstract) =>
     (s__instance(V__POLE,s__MultipolePole) &
       s__abstractPart(V__POLE,V__MULTIPOLE))
   =>
   ( ? [V__SECTION] :
     ((s__instance(V__SECTION,s__MultipoleSection) &
         s__abstractPart(V__POLE,V__SECTION)
       &
       s__abstractPart(V__SECTION,V__MULTIPOLE))))
)
)

engineering.kif 390-398

consequent
-------------------------


( ! [V__MULTIPOLE,V__POLE] :
   (s__instance(V__MULTIPOLE,s__Abstract) =>
     (s__instance(V__POLE,s__MultipolePole) &
       s__abstractPart(V__POLE,V__MULTIPOLE))
   =>
   ( ? [V__SECTION] :
     ((s__instance(V__SECTION,s__MultipoleSection) &
         s__abstractPart(V__POLE,V__SECTION)
       &
       s__abstractPart(V__SECTION,V__MULTIPOLE))))
)
)

engineering.kif 390-398
( ! [V__MULTIPOLE] :
   (s__instance(V__MULTIPOLE,s__Multipole) =>
     ( ? [V__SECTION] :
       ((s__instance(V__SECTION,s__MultipoleSection) &
           s__abstractPart(V__SECTION,V__MULTIPOLE))))
   )
)

engineering.kif 433-438
( ! [V__ONT] :
   (s__instance(V__ONT,s__Ontology) =>
     ( ? [V__TAX] :
       ((s__instance(V__TAX,s__Taxonomy) &
           s__abstractPart(V__TAX,V__ONT))))
   )
)

Mid-level-ontology.kif 20697-20702
( ! [V__PORT] :
   (s__instance(V__PORT,s__MultipolePort) =>
     ~(( ? [V__POLE1, V__POLE2, V__POLE3] :
         ((s__instance(V__POLE1,s__MultipolePole) &
             s__instance(V__POLE2,s__MultipolePole) &
             s__instance(V__POLE3,s__MultipolePole) &
             s__abstractPart(V__POLE1,V__PORT)
           &
           s__abstractPart(V__POLE2,V__PORT)
         &
         s__abstractPart(V__POLE3,V__PORT)
       &
       ~((V__POLE1 = V__POLE2))
       &
       ~((V__POLE2 = V__POLE3))
       &
       ~((V__POLE1 = V__POLE3))))))
)
)

engineering.kif 458-470
( ! [V__SECTION] :
   (s__instance(V__SECTION,s__MultipoleSection) =>
     ( ? [V__POLE1, V__POLE2] :
       ((s__instance(V__POLE1,s__MultipolePole) &
           s__instance(V__POLE2,s__MultipolePole) &
           s__abstractPart(V__POLE1,V__SECTION)
         &
         s__abstractPart(V__POLE2,V__SECTION)
       &
       ~((V__POLE1 = V__POLE2)))))
)
)

engineering.kif 441-449
( ! [V__TWOPOLE] :
   (s__instance(V__TWOPOLE,s__Twopole) =>
     ( ? [V__PORT] :
       ((s__instance(V__PORT,s__MultipolePort) &
           s__abstractPart(V__PORT,V__TWOPOLE)
         &
         ~(( ? [V__SECTION] :
             ((s__instance(V__SECTION,s__MultipoleSection) &
                 s__abstractPart(V__SECTION,V__TWOPOLE)
               &
               ~((V__SECTION = V__PORT)))))))))
)
)

engineering.kif 477-489
( ! [V__A,V__CBP] :
   ((s__instance(V__A,s__Agreement) &
       s__instance(V__CBP,s__ContentBearingPhysical))
     =>
     s__recordForAgreement(V__CBP,V__A)
   =>
   ~(( ? [V__P] :
       ((s__instance(V__P,s__Proposition) &
           (~((V__P = V__A))
             &
             ~(s__abstractPart(V__P,V__A))
           &
           s__containsInformation(V__CBP,V__P))))))
)
)

Law.kif 552-561