applicableRelation - Sigma Knowledge base Browser

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 32501-32505
(domain applicableRelation 1 Object)	Mid-level-ontology.kif 32499-32499	The number 1 argument of applicable relation is an instance of object
(domain applicableRelation 2 Relation)	Mid-level-ontology.kif 32500-32500	The number 2 argument of applicable relation is an instance of relation
(instance applicableRelation BinaryPredicate)	Mid-level-ontology.kif 32498-32498	applicable relation is an instance of binary predicate

appearance as argument number 2

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

antecedent

(=>
    (and
        (applicableRelation ?O ?R)
        (instance ?O ?OC)
        (domain ?R 1 ?DC))
    (or
        (equal ?OC ?DC)
        (subclass ?OC ?DC)))

Mid-level-ontology.kif 32510-32517

If an object can be an argument to a relation and the object is an instance of the objectC and the number 1 argument of the relation is an instance of another class,
then the objectC is equal to the other class or the objectC is a subclass of the other class

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

KB Term:			Term intersection

English Word: