ClosedWorldPredicate |
appearance as argument number 1 |
![]() |
(subclass ClosedWorldPredicate Predicate) | Merge.kif 18642-18642 | ClosedWorldPredicate est une sous-classe de predicat |
appearance as argument number 2 |
![]() |
(instance subclass ClosedWorldPredicate) | Merge.kif 18645-18645 | subclass est une instance de ClosedWorldPredicate |
(termFormat EnglishLanguage ClosedWorldPredicate "closed world predicate") | Merge.kif 18643-18643 | subclass est une instance de ClosedWorldPredicate |
![]() |
![]() |