SUMO   View all facts   Glossary   Help
unparented > synonymousExternalConcept
Next unparented: synonymousInternalConcept    Up: unparented    Previous unparented: surface   

synonymousExternalConcept comparison table
Subject documentation have axiom
unparented  
synonymousExternalConcept(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE
(=>
    (synonymousExternalConcept ?STRING ?THING ?LANGUAGE)
    (not
       (or
          (subsumedExternalConcept ?STRING ?THING ?LANGUAGE)
 	   (subsumingExternalConcept ?STRING ?THING ?LANGUAGE))))

Next unparented: synonymousInternalConcept    Up: unparented    Previous unparented: surface