SUMO   View all facts   Glossary   Help
unparented > subsumedExternalConcept
Next unparentedsubsumingExternalConcept    Upunparented    Previous unparentedsubset   

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 unparentedsubsumingExternalConcept    Upunparented    Previous unparentedsubset