Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subPlan |
| appearance as argument number 1 |
|
| (subrelation subPlan subProposition) | Merge.kif 4767-4767 | sub plan is a subrelation of sub proposition |
| (instance subPlan TransitiveRelation) | Merge.kif 4768-4768 | sub plan is an instance of transitive relation |
| (instance subPlan IrreflexiveRelation) | Merge.kif 4769-4769 | sub plan is an instance of irreflexive relation |
| (instance subPlan PartialValuedRelation) | Merge.kif 4770-4770 | sub plan is an instance of partial valued relation |
| (domain subPlan 1 Plan) | Merge.kif 4771-4771 | The number 1 argument of sub plan is an instance of plan |
| (domain subPlan 2 Plan) | Merge.kif 4772-4772 | The number 2 argument of sub plan is an instance of plan |
| (documentation subPlan EnglishLanguage "(subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting Plan to the overall Plan in a particular context.") | Merge.kif 4774-4777 | The number 2 argument of sub plan is an instance of plan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage subPlan "sub plan") | domainEnglishFormat.kif 55765-55765 | |
| (termFormat ChineseTraditionalLanguage subPlan "子計劃") | domainEnglishFormat.kif 55766-55766 | |
| (termFormat ChineseLanguage subPlan "子计划") | domainEnglishFormat.kif 55767-55767 | |
| (format EnglishLanguage subPlan "%1 is %n a sub-plan of %2") | english_format.kif 238-238 |
| consequent |
|
|
| (=> (instance ?PROGRAM EducationalProgram) (exists (?COURSE1 ?COURSE2) (and (instance ?COURSE1 EducationalCourse) (instance ?COURSE2 EducationalCourse) (not (equal ?COURSE1 ?COURSE2)) (subPlan ?COURSE1 ?PROGRAM) (subPlan ?COURSE2 ?PROGRAM)))) |
Mid-level-ontology.kif 18231-18239 | If X is an instance of educational program, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of educational course (3) Z is an instance of educational course (4) equal Y (5) Z (6) Y is a sub-plan of X (7) Z is a sub-plan of X |
|