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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsymmetricRelation

Sigma KEE - AsymmetricRelation
AsymmetricRelation(asymmetric relation)

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


s__documentation(s__AsymmetricRelation,s__ChineseLanguage,'"一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。"')

chinese_format.kif 1839-1840
s__documentation(s__AsymmetricRelation,s__EnglishLanguage,'"A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation."')

Merge.kif 2224-2225
s__externalImage(s__AsymmetricRelation,'"http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png"')

pictureList.kif 9910-9910
s__subclass(s__AsymmetricRelation,s__AntisymmetricRelation)

s__instance(s__AntisymmetricRelation,s__SetOrClass)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 2222-2222 Asymmetric relation is a subclass of antisymmetric relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__subclass(s__AsymmetricRelation,s__IrreflexiveRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 2221-2221 Asymmetric relation is a subclass of irreflexive relation

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


s__instance(s__accountNumber__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

FinancialOntology.kif 3397-3397 account number is an instance of asymmetric relation
s__instance(s__acronym__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Media.kif 3000-3000 acronym is an instance of asymmetric relation
s__instance(s__agentName__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Media.kif 3390-3390 agentName is an instance of asymmetric relation
s__instance(s__agreementAdoptionDate__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Government.kif 683-683 agreement adoption date is an instance of asymmetric relation
s__instance(s__agreementEffectiveDuring__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Government.kif 743-743 agreement effective during is an instance of asymmetric relation
s__instance(s__alias__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Mid-level-ontology.kif 22295-22295 alias is an instance of asymmetric relation
s__instance(s__areaOfOperation__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

MilitaryProcesses.kif 1311-1311 area of operation is an instance of asymmetric relation
s__instance(s__atomicNumber__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 13139-13139 atomic number is an instance of asymmetric relation
s__instance(s__attribute__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 1658-1658 attribute is an instance of asymmetric relation
s__instance(s__authors__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 14786-14786 authors is an instance of asymmetric relation
s__instance(s__bankAccount__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

FinancialOntology.kif 3849-3849 bank account is an instance of asymmetric relation
s__instance(s__barometricPressure__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 7584-7584 barometric pressure is an instance of asymmetric relation
s__instance(s__benefits__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Mid-level-ontology.kif 22001-22001 benefits is an instance of asymmetric relation
s__instance(s__canRunOn__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

QoSontology.kif 348-348 can run on is an instance of asymmetric relation
s__instance(s__cardinality__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Government.kif 424-424 cardinality is an instance of asymmetric relation
s__instance(s__cargo__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Mid-level-ontology.kif 21954-21954 cargo is an instance of asymmetric relation
s__instance(s__causes__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3682-3682 causes is an instance of asymmetric relation
s__instance(s__causesProposition__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3726-3726 causes proposition is an instance of asymmetric relation
s__instance(s__causesSubclass__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3705-3705 causes subclass is an instance of asymmetric relation
s__instance(s__chamberOfLegislature__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Government.kif 2043-2043 chamber of legislature is an instance of asymmetric relation
s__instance(s__checkNumber__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

FinancialOntology.kif 3414-3414 check number is an instance of asymmetric relation
s__instance(s__citizen__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 16071-16071 citizen is an instance of asymmetric relation
s__instance(s__closedOn__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3495-3495 closed on is an instance of asymmetric relation
s__instance(s__coldSeasonInArea__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Geography.kif 1627-1627 cold season in area is an instance of asymmetric relation
s__instance(s__completelyFills__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 9611-9611 completely fills is an instance of asymmetric relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__REL] :
   (((s__instance(V__REL,s__AsymmetricRelation) =>
         (s__instance(V__REL,s__AntisymmetricRelation) &
           s__instance(V__REL,s__IrreflexiveRelation)))
       &
       ((s__instance(V__REL,s__AntisymmetricRelation) &
           s__instance(V__REL,s__IrreflexiveRelation))
         =>
         s__instance(V__REL,s__AsymmetricRelation)))
     )
   )

Merge.kif 2227-2231 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation


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 3.0 is open source software produced by Articulate Software and its partners