AsymmetricRelation - Sigma Knowledge base Browser

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 2273-2274
(documentation AsymmetricRelation JapaneseLanguage "%BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。")	japanese_format.kif 459-460
(externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png")	pictureList.kif 9892-9892
(subclass AsymmetricRelation AntisymmetricRelation)	Merge.kif 2271-2271
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2270-2270

appearance as argument number 2

(instance acronym AsymmetricRelation)	Mid-level-ontology.kif 28900-28900
(instance agentName AsymmetricRelation)	Media.kif 3404-3404
(instance alias AsymmetricRelation)	Mid-level-ontology.kif 24865-24865
(instance areaOfOperation AsymmetricRelation)	MilitaryProcesses.kif 1312-1312
(instance attribute AsymmetricRelation)	Merge.kif 1710-1710
(instance barometricPressure AsymmetricRelation)	Merge.kif 7884-7884
(instance benefits AsymmetricRelation)	Mid-level-ontology.kif 24571-24571
(instance canRunOn AsymmetricRelation)	QoSontology.kif 351-351
(instance cargo AsymmetricRelation)	Mid-level-ontology.kif 24524-24524
(instance causes AsymmetricRelation)	Merge.kif 3777-3777
(instance causesProposition AsymmetricRelation)	Merge.kif 3819-3819
(instance causesSubclass AsymmetricRelation)	Merge.kif 3800-3800
(instance chamberOfLegislature AsymmetricRelation)	Government.kif 2019-2019
(instance citizen AsymmetricRelation)	Merge.kif 16911-16911
(instance closedOn AsymmetricRelation)	Merge.kif 3573-3573
(instance completelyFills AsymmetricRelation)	Merge.kif 10124-10124
(instance contains AsymmetricRelation)	Merge.kif 1010-1010
(instance containsInformation AsymmetricRelation)	Merge.kif 1350-1350
(instance crosses AsymmetricRelation)	Merge.kif 4208-4208
(instance customer AsymmetricRelation)	Mid-level-ontology.kif 8899-8899
(instance deceptiveIdentifier AsymmetricRelation)	Mid-level-ontology.kif 24980-24980
(instance dependentGeopoliticalArea AsymmetricRelation)	Government.kif 420-420
(instance developmentalForm AsymmetricRelation)	Merge.kif 14457-14457
(instance deviceTelecomNumber AsymmetricRelation)	Mid-level-ontology.kif 26560-26560
(instance equivalenceRelationOn AsymmetricRelation)	Merge.kif 3704-3704

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 2276-2280

consequent

(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))

Merge.kif 2282-2286

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

KB Term:			Term intersection

English Word: