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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsymmetricRelation

Sigma KEE - AsymmetricRelation
AsymmetricRelation
, عَلاقَة غَيْر تَنَاظُرِيَّة, Relacao_Assimetrica, RelazioneAsimmetrica, asaamanjasyapUrNa_sambandha, asymmetric_relation, relation_asym�trique, 非对称关系

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


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

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


(instance BackFn AsymmetricRelation) Merge.kif 930-930
(instance CardinalityFn AsymmetricRelation) Merge.kif 5602-5602
(instance FrontFn AsymmetricRelation) Merge.kif 904-904
(instance HoleHostFn AsymmetricRelation) Merge.kif 9894-9894
(instance HoleSkinFn AsymmetricRelation) Merge.kif 10068-10068
(instance ProbabilityFn AsymmetricRelation) Merge.kif 2730-2730
(instance accountNumber AsymmetricRelation) FinancialOntology.kif 3327-3327
(instance acronym AsymmetricRelation) Media.kif 3000-3000
(instance activePolicy AsymmetricRelation) TravelPolicies.kif 169-169
(instance agentName AsymmetricRelation) Media.kif 3335-3335
(instance agreementAdoptionDate AsymmetricRelation) Government.kif 690-690
(instance agreementEffectiveDuring AsymmetricRelation) Government.kif 750-750
(instance alias AsymmetricRelation) Mid-level-ontology.kif 21074-21074
(instance areaOfOperation AsymmetricRelation) MilitaryProcesses.kif 1300-1300
(instance atomicNumber AsymmetricRelation) Merge.kif 13697-13697
(instance attribute AsymmetricRelation) Merge.kif 1759-1759
(instance authors AsymmetricRelation) Merge.kif 15506-15506
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3773-3773
(instance barometricPressure AsymmetricRelation) Merge.kif 7999-7999
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20761-20761
(instance cardinality AsymmetricRelation) Government.kif 424-424
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 20712-20712
(instance causes AsymmetricRelation) Merge.kif 3879-3879
(instance causesProposition AsymmetricRelation) Merge.kif 3927-3927
(instance causesSubclass AsymmetricRelation) Merge.kif 3904-3904

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 2402-2406


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