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

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

Next unparented: subsumingExternalConcept    Up: unparented    Previous unparented: subset