|
|
   ClosedWorldPredicate
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ClosedWorldPredicate Predicate) | Merge.kif 18679-18679 | Closed world predicate is a subclass of predicate |
| appearance as argument number 2 |
|
|
| (instance subclass ClosedWorldPredicate) | Merge.kif 18682-18682 | subclass is an instance of closed world predicate |
| (termFormat EnglishLanguage ClosedWorldPredicate "closed world predicate") | Merge.kif 18680-18680 | subclass is an instance of closed world predicate |
|
|
|