| appearance as argument number 1 |
|
|
| (documentation Club EnglishLanguage "A Club is an Organization of people that share some desire") | Mid-level-ontology.kif 936-936 | |
| (subclass Club Organization) | Mid-level-ontology.kif 935-935 | Club is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Club "club") | domainEnglishFormat.kif 64701-64701 |
| antecedent |
|
|
| (=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 937-945 |
|
|
|
|