What are Properties? Properties
| Property | ID | Expected Type | Description | |
|---|---|---|---|---|
| Argument | /user/jefft0/default_domain/claim_some_s_are_not_p/argument | /user/jefft0/default_domain/argument_something_is_s_and_not_p | , | |
| Or, by definition | /user/jefft0/default_domain/claim_some_s_are_not_p/or_by_definition | /user/jefft0/default_domain/by_definition_some_s_are_not_p | , | |
| Something is an S | /user/jefft0/default_domain/claim_some_s_are_not_p/some_of | /type/text | ||
| And not a P | /user/jefft0/default_domain/claim_some_s_are_not_p/are_not_of | /type/text | ||
| Contradicts: All S are P | /user/jefft0/default_domain/claim_some_s_are_not_p/contradicts | /user/jefft0/default_domain/claim_all_s_are_p | ||
| Status | /user/jefft0/default_domain/claim_some_s_are_not_p/status | /user/jefft0/default_domain/claim_status | , | |
What are Included Types? Included Types
| delete /common/topic | |||
|---|---|---|---|
This type doesn't have any included types. |
|||
Incoming Properties
| Originating Type | Property | ||
|---|---|---|---|
|
Claim: All S are P
/user/jefft0/default_domain/claim_all_s_are_p
|
Contradicts: Something is S and not P
/user/jefft0/default_domain/claim_all_s_are_p/contradicts
|
||
|
By Definition: Something is S and not P
/user/jefft0/default_domain/by_definition_some_s_are_not_p
|
Definition for
/user/jefft0/default_domain/by_definition_some_s_are_not_p/definition_for
|
||
|
Argument - Something is S and not P
/user/jefft0/default_domain/argument_something_is_s_and_not_p
|
Argument for
/user/jefft0/default_domain/argument_something_is_s_and_not_p/argument_for
|
||