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

appearance as argument number 2

(format ChineseLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3720-3720
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3719-3719
(format EnglishLanguage lacks "%1 lacks %2")	domainEnglishFormat.kif 3718-3718
(termFormat ChineseLanguage lacks "缺乏")	domainEnglishFormat.kif 33089-33089
(termFormat ChineseTraditionalLanguage lacks "缺乏")	domainEnglishFormat.kif 33088-33088
(termFormat EnglishLanguage lacks "lacks")	domainEnglishFormat.kif 33087-33087

antecedent

(=>
    (holdsDuring ?TIME
        (lacks ?AGENT ?OBJECT))
    (holdsDuring ?TIME
        (not
            (possesses ?AGENT ?OBJECT))))

Mid-level-ontology.kif 8226-8231

consequent

(=>
    (attribute ?H DiabetesType1)
    (exists (?I)
        (and
            (instance ?I Insulin)
            (lacks ?H ?I))))

Medicine.kif 2144-2149