TreeView 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 8617-8618
(domain lacks 1 CognitiveAgent)	Mid-level-ontology.kif 8614-8614
(domain lacks 2 Physical)	Mid-level-ontology.kif 8615-8615
(instance lacks BinaryPredicate)	Mid-level-ontology.kif 8616-8616
(subrelation lacks needs)	Mid-level-ontology.kif 8613-8613

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 33072-33072
(termFormat ChineseTraditionalLanguage lacks "缺乏")	domainEnglishFormat.kif 33071-33071
(termFormat EnglishLanguage lacks "lacks")	domainEnglishFormat.kif 33070-33070

antecedent

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

Mid-level-ontology.kif 8620-8625

consequent

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

Medicine.kif 2153-2158