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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsymmetricRelation

Sigma KEE - AsymmetricRelation
AsymmetricRelation

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


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

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


(instance BackFn AsymmetricRelation) Merge.kif 942-942
(instance CardinalityFn AsymmetricRelation) Merge.kif 5615-5615
(instance FrontFn AsymmetricRelation) Merge.kif 916-916
(instance ProbabilityFn AsymmetricRelation) Merge.kif 2743-2743
(instance accountNumber AsymmetricRelation) FinancialOntology.kif 3327-3327
(instance acronym AsymmetricRelation) Media.kif 3000-3000
(instance agentName AsymmetricRelation) Media.kif 3356-3356
(instance agreementAdoptionDate AsymmetricRelation) Government.kif 690-690
(instance agreementEffectiveDuring AsymmetricRelation) Government.kif 750-750
(instance alias AsymmetricRelation) Mid-level-ontology.kif 21105-21105
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1300-1300
(instance atomicNumber AsymmetricRelation) Merge.kif 13755-13755
(instance attribute AsymmetricRelation) Merge.kif 1772-1772
(instance authors AsymmetricRelation) Merge.kif 15564-15564
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3773-3773
(instance barometricPressure AsymmetricRelation) Merge.kif 8016-8016
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20792-20792
(instance canRunOn AsymmetricRelation) QoSontology.kif 345-345
(instance cardinality AsymmetricRelation) Government.kif 424-424
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 20743-20743
(instance causes AsymmetricRelation) Merge.kif 3892-3892
(instance causesProposition AsymmetricRelation) Merge.kif 3940-3940
(instance causesSubclass AsymmetricRelation) Merge.kif 3917-3917
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2017-2017
(instance checkNumber AsymmetricRelation) FinancialOntology.kif 3344-3344

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 2415-2419


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