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