Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lacks
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 7668-7669
(instance lacks BinaryPredicate) Mid-level-ontology.kif 7667-7667 缺乏 and BinaryPredicate
(subrelation lacks needs) Mid-level-ontology.kif 7666-7666 子關係 缺乏 and 需求

appearance as argument number 2
-------------------------


(format ChineseLanguage lacks "%1 lacks %2 ") domainEnglishFormat.kif 3716-3716
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ") domainEnglishFormat.kif 3715-3715
(format EnglishLanguage lacks "%1 lacks %2") domainEnglishFormat.kif 3714-3714
(termFormat ChineseLanguage lacks "缺乏") domainEnglishFormat.kif 33095-33095
(termFormat ChineseTraditionalLanguage lacks "缺乏") domainEnglishFormat.kif 33094-33094
(termFormat EnglishLanguage lacks "lacks") domainEnglishFormat.kif 33093-33093

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (lacks ?AGENT ?OBJECT))
    (holdsDuring ?TIME
        (not
            (possesses ?AGENT ?OBJECT))))
Mid-level-ontology.kif 7671-7676

consequent
-------------------------


(=>
    (attribute ?H DiabetesType1)
    (exists (?I)
        (and
            (instance ?I Insulin)
            (lacks ?H ?I))))
Medicine.kif 2156-2161


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners