What are Properties? Properties
| Property | ID | Expected Type | Description | |
|---|---|---|---|---|
| If it's an M then it's not a P | /user/jefft0/default_domain/argument_all_are_not_of/all_of_m_are_not_of_p | /user/jefft0/default_domain/claim_all_s_are_not_p | , , | |
| If it's an S then it's an M | /user/jefft0/default_domain/argument_all_are_not_of/all_of_s_are_of_m | /user/jefft0/default_domain/claim_all_s_are_p | , , | |
| Argument for | /user/jefft0/default_domain/argument_all_are_not_of/argument_for | /user/jefft0/default_domain/claim_all_s_are_not_p | ||
What are Included Types? Included Types
This type doesn't have any included types. |
|||
Incoming Properties
| Originating Type | Property | ||
|---|---|---|---|
|
Claim: All S are not P
/user/jefft0/default_domain/claim_all_s_are_not_p
|
Argument
/user/jefft0/default_domain/claim_all_s_are_not_p/argument
|
||
|
Claim: All S are P
/user/jefft0/default_domain/claim_all_s_are_p
|
Premise of
/user/jefft0/default_domain/claim_all_s_are_p/premise_of_argument3
|
||
|
Claim: All S are not P
/user/jefft0/default_domain/claim_all_s_are_not_p
|
Premise of
/user/jefft0/default_domain/claim_all_s_are_not_p/premise_of_argument
|
||
