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


KB Term:  Term intersection
English Word: 

Sigma KEE - AsymmetricRelation
AsymmetricRelation(asymmetric relation)

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


(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2384-2384 Asymmetric relation is a subclass of irreflexive relation
(subclass AsymmetricRelation AntisymmetricRelation) Merge.kif 2385-2385 Asymmetric relation is a subclass of antisymmetric relation
(documentation AsymmetricRelation EnglishLanguage "A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.") Merge.kif 2387-2388 Asymmetric relation is a subclass of antisymmetric relation

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


(instance immediateInstance AsymmetricRelation) Merge.kif 92-92 immediate instance is an instance of asymmetric relation
(instance immediateSubclass AsymmetricRelation) Merge.kif 144-144 immediate subclass is an instance of asymmetric relation
(instance successorAttribute AsymmetricRelation) Merge.kif 695-695 successor attribute is an instance of asymmetric relation
(instance properPart AsymmetricRelation) Merge.kif 933-933 proper part is an instance of asymmetric relation
(instance properlyFills AsymmetricRelation) Merge.kif 1008-1008 properly fills is an instance of asymmetric relation
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2804-2804 Propositional attitude is a subclass of asymmetric relation
(instance causes AsymmetricRelation) Merge.kif 3883-3883 causes is an instance of asymmetric relation
(instance causesSubclass AsymmetricRelation) Merge.kif 3906-3906 causes subclass is an instance of asymmetric relation
(instance causesProposition AsymmetricRelation) Merge.kif 3925-3925 causes proposition is an instance of asymmetric relation
(instance crosses AsymmetricRelation) Merge.kif 4310-4310 crosses is an instance of asymmetric relation
(instance penetrates AsymmetricRelation) Merge.kif 4322-4322 penetrates is an instance of asymmetric relation
(instance precondition AsymmetricRelation) Merge.kif 4405-4405 precondition is an instance of asymmetric relation
(instance meetsTemporally AsymmetricRelation) Merge.kif 8525-8525 meets temporally is an instance of asymmetric relation
(instance surface AsymmetricRelation) Merge.kif 9899-9899 surface is an instance of asymmetric relation
(instance interiorPart AsymmetricRelation) Merge.kif 9920-9920 interior part is an instance of asymmetric relation
(instance geographicSubregion AsymmetricRelation) Merge.kif 14353-14353 geographic subregion is an instance of asymmetric relation
(instance geopoliticalSubdivision AsymmetricRelation) Merge.kif 14401-14401 geopolitical subdivision is an instance of asymmetric relation
(instance version AsymmetricRelation) Merge.kif 15988-15988 version is an instance of asymmetric relation
(instance parent AsymmetricRelation) Merge.kif 16721-16721 parent is an instance of asymmetric relation
(instance wavelength AsymmetricRelation) Mid-level-ontology.kif 574-574 wavelength is an instance of asymmetric relation
(instance insured AsymmetricRelation) Mid-level-ontology.kif 8414-8414 insured is an instance of asymmetric relation
(instance loss AsymmetricRelation) Mid-level-ontology.kif 8461-8461 loss is an instance of asymmetric relation
(instance profit AsymmetricRelation) Mid-level-ontology.kif 8883-8883 profit is an instance of asymmetric relation
(instance customer AsymmetricRelation) Mid-level-ontology.kif 8996-8996 customer is an instance of asymmetric relation
(instance familyName AsymmetricRelation) Mid-level-ontology.kif 16283-16283 family name is an instance of asymmetric relation

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 2390-2394 If X is an instance of asymmetric relation, then X is an instance of antisymmetric relation and X is an instance of irreflexive relation

consequent
-------------------------


(=>
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation))
    (instance ?REL AsymmetricRelation))		 Merge.kif 2396-2400 If X is an instance of antisymmetric relation and X is an instance of irreflexive relation, then X is an instance of asymmetric 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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners