lacks - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation lacks needs)	Mid-level-ontology.kif 8768-8768	lacks is a subrelation of needs
(domain lacks 1 CognitiveAgent)	Mid-level-ontology.kif 8769-8769	The number 1 argument of lacks is an instance of cognitive agent
(domain lacks 2 Physical)	Mid-level-ontology.kif 8770-8770	The number 2 argument of lacks is an instance of physical
(instance lacks BinaryPredicate)	Mid-level-ontology.kif 8771-8771	lacks is an instance of binary predicate
(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 8772-8773	lacks is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage lacks "%1 lacks %2")	domainEnglishFormat.kif 3718-3718
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3719-3719
(format ChineseLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3720-3720
(termFormat EnglishLanguage lacks "lacks")	domainEnglishFormat.kif 33063-33063
(termFormat ChineseTraditionalLanguage lacks "缺乏")	domainEnglishFormat.kif 33064-33064
(termFormat ChineseLanguage lacks "缺乏")	domainEnglishFormat.kif 33065-33065

antecedent

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

If X lacks Y holds during Z, then X doesn't possess Y holds during Z

consequent

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

If juvenile diabetes is an attribute of X, then there exists Y such that Y is an instance of insulin and X lacks Y