lacks - Sigma Knowledge base Browser

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	lacks is an instance of binary predicate
(subrelation lacks needs)	Mid-level-ontology.kif 7666-7666	lacks is a subrelation of needs

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