SUMO View all facts Glossary Help |
unparented > subsumedExternalConcept |
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 | (=> |
Next unparented: subsumingExternalConcept Up: unparented Previous unparented: subset