Leaving
|
|
appearance as argument number 1 |
(documentation Leaving EnglishLanguage "The initial part of any instance of Translocation.") | Mid-level-ontology.kif 17325-17325 | |
(subclass Leaving Translocation) | Mid-level-ontology.kif 17324-17324 |
appearance as argument number 2 |
(termFormat ChineseLanguage Leaving "离开") | domainEnglishFormat.kif 33713-33713 | |
(termFormat ChineseTraditionalLanguage Leaving "離開") | domainEnglishFormat.kif 33712-33712 | |
(termFormat EnglishLanguage Leaving "leaving") | domainEnglishFormat.kif 33711-33711 |
antecedent |
(=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO))))) |
Mid-level-ontology.kif 17327-17333 |