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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AsymmetricRelation
AsymmetricRelation

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


(documentation AsymmetricRelation ChineseLanguage "一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。") chinese_format.kif 1839-1840
(documentation AsymmetricRelation EnglishLanguage "A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.") Merge.kif 2183-2184
(externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png") pictureList.kif 9911-9911 externalImage AsymmetricRelation and "http://upload.wikimedia.org/math/1/0/f/10ff5b5037e4904130e011977405575e.png"
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2181-2181 subclass AsymmetricRelation and AntisymmetricRelation
(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2180-2180 subclass AsymmetricRelation and IrreflexiveRelation

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


(instance BackFn AsymmetricRelation) Merge.kif 858-858 instance BackFn and AsymmetricRelation
(instance CardinalityFn AsymmetricRelation) Merge.kif 5091-5091 instance CardinalityFn and AsymmetricRelation
(instance FrontFn AsymmetricRelation) Merge.kif 836-836 instance FrontFn and AsymmetricRelation
(instance ProbabilityFn AsymmetricRelation) Merge.kif 2475-2475 instance ProbabilityFn and AsymmetricRelation
(instance accountNumber AsymmetricRelation) FinancialOntology.kif 3333-3333 instance accountNumber and AsymmetricRelation
(instance acronym AsymmetricRelation) Media.kif 3000-3000 instance acronym and AsymmetricRelation
(instance agentName AsymmetricRelation) Media.kif 3388-3388 instance agentName and AsymmetricRelation
(instance agreementAdoptionDate AsymmetricRelation) Government.kif 683-683 instance agreementAdoptionDate and AsymmetricRelation
(instance agreementEffectiveDuring AsymmetricRelation) Government.kif 743-743 instance agreementEffectiveDuring and AsymmetricRelation
(instance alias AsymmetricRelation) Mid-level-ontology.kif 21106-21106 instance alias and AsymmetricRelation
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1311-1311 instance areaOfOperation and AsymmetricRelation
(instance atomicNumber AsymmetricRelation) Merge.kif 12638-12638 instance atomicNumber and AsymmetricRelation
(instance attribute AsymmetricRelation) Merge.kif 1622-1622 instance attribute and AsymmetricRelation
(instance authors AsymmetricRelation) Merge.kif 14183-14183 instance authors and AsymmetricRelation
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3779-3779 instance bankAccount and AsymmetricRelation
(instance barometricPressure AsymmetricRelation) Merge.kif 7282-7282 instance barometricPressure and AsymmetricRelation
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20793-20793 instance benefits and AsymmetricRelation
(instance canRunOn AsymmetricRelation) QoSontology.kif 348-348 instance canRunOn and AsymmetricRelation
(instance cardinality AsymmetricRelation) Government.kif 424-424 instance cardinality and AsymmetricRelation
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 20744-20744 instance cargo and AsymmetricRelation
(instance causes AsymmetricRelation) Merge.kif 3515-3515 instance causes and AsymmetricRelation
(instance causesProposition AsymmetricRelation) Merge.kif 3559-3559 instance causesProposition and AsymmetricRelation
(instance causesSubclass AsymmetricRelation) Merge.kif 3538-3538 instance causesSubclass and AsymmetricRelation
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2011-2011 instance chamberOfLegislature and AsymmetricRelation
(instance checkNumber AsymmetricRelation) FinancialOntology.kif 3350-3350 instance checkNumber and AsymmetricRelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))
Merge.kif 2186-2190 instance Entity and AsymmetricRelation instance Entity and AntisymmetricRelation instance Entity and IrreflexiveRelation


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners