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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 externalImage 非対称関係 and "http://upload.wikimedia.org/math/1/0/f/10ff5b5037e4904130e011977405575e.png"
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2409-2409 subclass 非対称関係 and 反対称関係
(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2408-2408 subclass 非対称関係 and 非反射関係

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


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

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 instance エンティティー and 非対称関係 instance エンティティー and 反対称関係 instance エンティティー and 非反射関係


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