lacks |
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 7449-7450 | |
(instance lacks BinaryPredicate) | Mid-level-ontology.kif 7448-7448 | |
(subrelation lacks needs) | Mid-level-ontology.kif 7447-7447 |
appearance as argument number 2 |
(format ChineseLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3722-3722 | |
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3721-3721 | |
(format EnglishLanguage lacks "%1 lacks %2") | domainEnglishFormat.kif 3720-3720 | |
(termFormat ChineseLanguage lacks "缺乏") | domainEnglishFormat.kif 33061-33061 | |
(termFormat ChineseTraditionalLanguage lacks "缺乏") | domainEnglishFormat.kif 33060-33060 | |
(termFormat EnglishLanguage lacks "lacks") | domainEnglishFormat.kif 33059-33059 |
antecedent |
(=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7452-7457 |
consequent |
(=> (attribute ?H DiabetesType1) (exists (?I) (and (instance ?I Insulin) (lacks ?H ?I)))) |
Medicine.kif 2156-2161 |