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 2184-2185
(externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png") pictureList.kif 9911-9911
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2182-2182 subclass AsymmetricRelation and AntisymmetricRelation
(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2181-2181 subclass AsymmetricRelation and IrreflexiveRelation

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


(instance accountNumber AsymmetricRelation) FinancialOntology.kif 3334-3334 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 21118-21118 instance alias and AsymmetricRelation
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1311-1311 instance areaOfOperation and AsymmetricRelation
(instance atomicNumber AsymmetricRelation) Merge.kif 12729-12729 instance atomicNumber and AsymmetricRelation
(instance attribute AsymmetricRelation) Merge.kif 1619-1619 instance attribute and AsymmetricRelation
(instance authors AsymmetricRelation) Merge.kif 14274-14274 instance authors and AsymmetricRelation
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3780-3780 instance bankAccount and AsymmetricRelation
(instance barometricPressure AsymmetricRelation) Merge.kif 7373-7373 instance barometricPressure and AsymmetricRelation
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20805-20805 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 20756-20756 instance cargo and AsymmetricRelation
(instance causes AsymmetricRelation) Merge.kif 3605-3605 instance causes and AsymmetricRelation
(instance causesProposition AsymmetricRelation) Merge.kif 3649-3649 instance causesProposition and AsymmetricRelation
(instance causesSubclass AsymmetricRelation) Merge.kif 3628-3628 instance causesSubclass and AsymmetricRelation
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2011-2011 instance chamberOfLegislature and AsymmetricRelation
(instance checkNumber AsymmetricRelation) FinancialOntology.kif 3351-3351 instance checkNumber and AsymmetricRelation
(instance citizen AsymmetricRelation) Merge.kif 15545-15545 instance citizen and AsymmetricRelation
(instance closedOn AsymmetricRelation) Merge.kif 3418-3418 instance closedOn and AsymmetricRelation
(instance coldSeasonInArea AsymmetricRelation) Geography.kif 1609-1609 instance coldSeasonInArea and AsymmetricRelation
(instance completelyFills AsymmetricRelation) Merge.kif 9389-9389 instance completelyFills 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 2187-2191 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