lacks |
appearance as argument number 1 |
(documentation lacks EnglishLanguage "(lacks ?AGENT ?OBJECT) means that ?AGENT needs ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT.") | Mid-level-ontology.kif 7668-7669 | |
(instance lacks BinaryPredicate) | Mid-level-ontology.kif 7667-7667 | 例 缺乏 and BinaryPredicate |
(subrelation lacks needs) | Mid-level-ontology.kif 7666-7666 | 子關係 缺乏 and 需求 |
appearance as argument number 2 |
(format ChineseLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3716-3716 | |
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3715-3715 | |
(format EnglishLanguage lacks "%1 lacks %2") | domainEnglishFormat.kif 3714-3714 | |
(termFormat ChineseLanguage lacks "缺乏") | domainEnglishFormat.kif 33095-33095 | |
(termFormat ChineseTraditionalLanguage lacks "缺乏") | domainEnglishFormat.kif 33094-33094 | |
(termFormat EnglishLanguage lacks "lacks") | domainEnglishFormat.kif 33093-33093 |
antecedent |
(=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7671-7676 |
|
consequent |
(=> (attribute ?H DiabetesType1) (exists (?I) (and (instance ?I Insulin) (lacks ?H ?I)))) |
Medicine.kif 2156-2161 |