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 7135-7136
(instance lacks BinaryPredicate)	Mid-level-ontology.kif 7134-7134
(subrelation lacks needs)	Mid-level-ontology.kif 7133-7133

appearance as argument number 2

(format ChineseLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3727-3727
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ")	domainEnglishFormat.kif 3726-3726
(format EnglishLanguage lacks "%1 lacks %2")	domainEnglishFormat.kif 3725-3725
(termFormat ChineseLanguage lacks "缺乏")	domainEnglishFormat.kif 33055-33055
(termFormat ChineseTraditionalLanguage lacks "缺乏")	domainEnglishFormat.kif 33054-33054
(termFormat EnglishLanguage lacks "lacks")	domainEnglishFormat.kif 33053-33053

antecedent

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

Mid-level-ontology.kif 7138-7140