Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  eveningPhone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Accrediting Declaring) | Mid-level-ontology.kif 998-998 | Accrediting is a subclass of declaring |
| (documentation Accrediting EnglishLanguage "Any process of certifying an EducationalOrganization.") | Mid-level-ontology.kif 999-999 | Accrediting is a subclass of declaring |
| (externalImage Accrediting "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Accreditation.jpg") | pictureList.kif 2935-2935 | Accrediting is a subclass of declaring |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization)) |
Mid-level-ontology.kif 1000-1004 | If X is an instance of accrediting and Y is a patient of X, then Y is an instance of educational organization |
|
