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

Formal Language: 



KB Term:  Term intersection
English Word: 

  applicableRelation

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 applicableRelation の数値 1 引数は オブジェクトinstance では %n
(domain applicableRelation 2 Relation) Mid-level-ontology.kif 31377-31377 applicableRelation の数値 2 引数は 関係instance では %n
(instance applicableRelation BinaryPredicate) Mid-level-ontology.kif 31375-31375 applicableRelation2進述語instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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