Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Supposition
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Supposition Sentence) | Mid-level-ontology.kif 15865-15865 | Supposition is a subclass of sentence |
| (documentation Supposition EnglishLanguage "A Sentence that is assumed to be true, possibly just for the sake of argument.") | Mid-level-ontology.kif 15866-15867 | Supposition is a subclass of sentence |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| consequent |
|
|
| (=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition)) |
Mid-level-ontology.kif 15869-15874 | If X is an instance of supposing, Y is a result of X, and Y is an instance of sentence, then Y is an instance of supposition |
|