Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass SexAttribute BiologicalAttribute) | Merge.kif 18444-18444 | Sex attribute is a subclass of biological attribute |
| (exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18445-18445 | Female are all the attributes of sex attribute |
| (documentation SexAttribute EnglishLanguage "Attributes that indicate the sex of an Organism.") | Merge.kif 18446-18447 | Female are all the attributes of sex attribute |
| appearance as argument number 2 |
|
|
| (instance NonBinaryGender SexAttribute) | Merge.kif 18449-18449 | Non-binary gender is an instance of sex attribute |
| (instance Female SexAttribute) | Merge.kif 18454-18454 | Female is an instance of sex attribute |
| (instance Male SexAttribute) | Merge.kif 18465-18465 | Male is an instance of sex attribute |
| (termFormat EnglishLanguage SexAttribute "sex attribute") | english_format.kif 1743-1743 | Male is an instance of sex attribute |
| consequent |
|
|
| (=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18469-18474 | If X is an instance of animal, then there exists Y such that Y is an instance of sex attribute and Y is an attribute of X |
|