SUMO   View all facts   Glossary   Help
unparented > subsumingExternalConcept
Next unparented: superficialPart    Up: unparented    Previous unparented: subsumedExternalConcept   

subsumingExternalConcept comparison table
Subject documentation have axiom
unparented  
subsumingExternalConcept(subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING
(=>
    (synonymousExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (subsumingExternalConcept ?STRING ?THING ?LANGUAGE))))

Next unparented: superficialPart    Up: unparented    Previous unparented: subsumedExternalConcept