![]() |
unparented > subsumedExternalConcept |
![]() ![]() | ||||
subsumedExternalConcept | ||||
subject | fact |
subsumedExternalConcept | documentation (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 | ![]() |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
has axiom (=> | ![]() |