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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - applicableRelation
applicableRelation

appearance as argument number 1
-------------------------


(documentation applicableRelation EnglishLanguage "A relationship used in creating user interfaces from SUO-KIF that indicates where a relation should be presented as a value that a user can set for an Object. Note that this is more specific that domain, although it must be consistent with that type specification.") Mid-level-ontology.kif 31378-31382
(domain applicableRelation 1 Object) Mid-level-ontology.kif 31376-31376 Le nombre 1 argument de applicableRelation est une instance de objet
(domain applicableRelation 2 Relation) Mid-level-ontology.kif 31377-31377 Le nombre 2 argument de applicableRelation est une instance de relation
(instance applicableRelation BinaryPredicate) Mid-level-ontology.kif 31375-31375 applicableRelation est une instance de pr�dicat binaire

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


(format EnglishLanguage applicableRelation "%1 can be an argument to %2") Mid-level-ontology.kif 31384-31385
(termFormat EnglishLanguage applicableRelation "applicable relation") domainEnglishFormat.kif 65778-65778

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


(=>
    (and
        (applicableRelation ?O ?R)
        (instance ?O ?OC)
        (domain ?R 1 ?DC))
    (or
        (equal ?OC ?DC)
        (subclass ?OC ?DC)))
Mid-level-ontology.kif 31387-31394


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