Concealing |
appearance as argument number 1 |
(documentation Concealing EnglishLanguage "Locating something in such a way that it cannot be seen.") | Mid-level-ontology.kif 5480-5481 | |
(subclass Concealing Putting) | Mid-level-ontology.kif 5479-5479 | Concealing è una sottoclasse di Porre |
appearance as argument number 2 |
(termFormat ChineseLanguage Concealing "隐瞒") | domainEnglishFormat.kif 16464-16464 | |
(termFormat ChineseTraditionalLanguage Concealing "隱瞞") | domainEnglishFormat.kif 16463-16463 | |
(termFormat EnglishLanguage Concealing "concealing") | domainEnglishFormat.kif 16462-16462 |
antecedent |
(=> (and (instance ?C Concealing) (patient ?C ?OBJ)) (hasPurpose ?C (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?OBJ)))))) |
Mid-level-ontology.kif 5483-5492 |
consequent |
(=> (and (instance ?AMBUSH Ambush) (agent ?AMBUSH ?AG)) (exists (?C) (and (instance ?C Concealing) (subProcess ?C ?AMBUSH) (hasPurpose ?C (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AG))))))) |
Mid-level-ontology.kif 21809-21821 |