close

  

What are Properties? Properties

Property ID Expected Type Description

This type doesn't have any properties

Argument /user/jefft0/default_domain/claim_some_s_are_not_p/argument /user/jefft0/default_domain/argument_something_is_s_and_not_p mediator master, unique
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 mediator master, unique
Something is an S /user/jefft0/default_domain/claim_some_s_are_not_p/some_of /type/text never_assert unique
And not a P /user/jefft0/default_domain/claim_some_s_are_not_p/are_not_of /type/text never_assert unique
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 reverse
Status /user/jefft0/default_domain/claim_some_s_are_not_p/status /user/jefft0/default_domain/claim_status enumerated unique, disambiguating
Add New Reorder

What are Included Types? Included Types

This type doesn't have any included types.

Include another type

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

Comments

Hide