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 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


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