TreeView Knowledge Base Browser - 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 31374-31378
(domain applicableRelation 1 Object)	Mid-level-ontology.kif 31372-31372	O argumento numero 1 de applicableRelation e' uma instancia de Objeto
(domain applicableRelation 2 Relation)	Mid-level-ontology.kif 31373-31373	O argumento numero 2 de applicableRelation e' uma instancia de Relacao
(instance applicableRelation BinaryPredicate)	Mid-level-ontology.kif 31371-31371	applicableRelation e' uma instancia de Predicado Binario

appearance as argument number 2

(format EnglishLanguage applicableRelation "%1 can be an argument to %2")	Mid-level-ontology.kif 31380-31381
(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 31383-31390

applicableRelation Objeto and Relacao Objeto e' uma instancia de ObjetoC o argumento numero 1 de Relacao e' uma instancia de Classe
ObjetoC e' igual a Classe ObjetoC e' uma sub-classe de Classe

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

KB Term:			Term intersection

English Word: