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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2191-2192
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 2189-2189 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 2188-2188 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 3376-3376 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 21677-21677 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 13106-13106 atomic number is an instance of asymmetric relation
s__instance(s__attribute__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 7551-7551 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 21383-21383 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 21336-21336 cargo is an instance of asymmetric relation
s__instance(s__causes__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3672-3672 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 3393-3393 check number is an instance of asymmetric relation
s__instance(s__citizen__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

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

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3462-3462 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 9578-9578 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 2194-2198 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 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 3.0 is open source software produced by Articulate Software and its partners