Leaving |
appearance as argument number 1 |
(documentation Leaving EnglishLanguage "The initial part of any instance of Translocation.") | Mid-level-ontology.kif 17297-17297 | |
(subclass Leaving Translocation) | Mid-level-ontology.kif 17296-17296 |
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 17299-17305 |