Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AcidicPH(acidic pH) |  | acidic |
| appearance as argument number 1 |
|
|
| (instance AcidicPH InternalAttribute) | Food.kif 2828-2828 | Acidic pH is an instance of internal attribute |
| (documentation AcidicPH EnglishLanguage "Having a pH of less than 7.") | Food.kif 2829-2829 | Acidic pH is an instance of internal attribute |
| (contraryAttribute AcidicPH BasicPH) | Food.kif 2832-2832 | Acidic pH is the opposite of basic pH |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AcidicPH "acidic pH") | domainEnglishFormat.kif 64405-64405 |
| consequent |
|
|
| (=> (instance ?P Pickle) (attribute ?P AcidicPH)) |
Food.kif 2822-2824 | If X is an instance of pickle, then acidic pH is an attribute of X |
| (=> (instance ?V Vinegar) (attribute ?V AcidicPH)) |
Food.kif 3603-3605 | If X is an instance of vinegar, then acidic pH is an attribute of X |
|