en
closed under consequences rc
(
n
)
An
English
term in
ConceptNet 5.8
Source:
OpenCyc 2012
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
closed under consequences rc is a type of…
en
closed under equivalents re
(
n
)
➜
en
mod distributing over conj
(
n
)
➜
en
mod exist introduction
(
n
)
➜
en
mod univ elimination
(
n
)
➜
Types of closed under consequences rc
en
extension of c regular
(
n
)
➜
Links to other resources
sw.opencyc.org
/2012/05/10/concept/en/ClosedUnderConsequences_RC
