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


KB Term:  Term intersection
English Word: 

  IrreflexiveRelation

 Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(irreflexive relation)

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


(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2359-2359 Irreflexive relation is a subclass of binary relation
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.") Merge.kif 2361-2362 Irreflexive relation is a subclass of binary relation
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png") pictureList.kif 8550-8550 Irreflexive relation is a subclass of binary relation
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png") pictureList.kif 9356-9356 Irreflexive relation is a subclass of binary relation

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


(instance inverse IrreflexiveRelation) Merge.kif 107-107 inverse is an instance of irreflexive relation
(instance disjointRelation IrreflexiveRelation) Merge.kif 402-402 disjoint relation is an instance of irreflexive relation
(instance successorAttributeClosure IrreflexiveRelation) Merge.kif 720-720 successor attribute closure is an instance of irreflexive relation
(instance attribute IrreflexiveRelation) Merge.kif 1808-1808 attribute is an instance of irreflexive relation
(instance manner IrreflexiveRelation) Merge.kif 1819-1819 manner is an instance of irreflexive relation
(instance lessThan IrreflexiveRelation) Merge.kif 1936-1936 less than is an instance of irreflexive relation
(instance greaterThan IrreflexiveRelation) Merge.kif 1948-1948 greater than is an instance of irreflexive relation
(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2384-2384 Asymmetric relation is a subclass of irreflexive relation
(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2704-2704 increases likelihood is an instance of irreflexive relation
(instance decreasesLikelihood IrreflexiveRelation) Merge.kif 2724-2724 decreases likelihood is an instance of irreflexive relation
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4421-4421 hinders subclass is an instance of irreflexive relation
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4449-4449 prevents subclass is an instance of irreflexive relation
(instance subProposition IrreflexiveRelation) Merge.kif 4748-4748 sub proposition is an instance of irreflexive relation
(instance subPlan IrreflexiveRelation) Merge.kif 4769-4769 sub plan is an instance of irreflexive relation
(instance graphPart IrreflexiveRelation) Merge.kif 6006-6006 graph part is an instance of irreflexive relation
(instance larger IrreflexiveRelation) Merge.kif 7929-7929 larger is an instance of irreflexive relation
(instance smaller IrreflexiveRelation) Merge.kif 7951-7951 smaller is an instance of irreflexive relation
(instance starts IrreflexiveRelation) Merge.kif 8209-8209 starts is an instance of irreflexive relation
(instance finishes IrreflexiveRelation) Merge.kif 8241-8241 finishes is an instance of irreflexive relation
(instance finishesDuring IrreflexiveRelation) Merge.kif 8276-8276 finishes during is an instance of irreflexive relation
(instance startsDuring IrreflexiveRelation) Merge.kif 8289-8289 starts during is an instance of irreflexive relation
(instance before IrreflexiveRelation) Merge.kif 8299-8299 before is an instance of irreflexive relation
(instance during IrreflexiveRelation) Merge.kif 8509-8509 during is an instance of irreflexive relation
(instance earlier IrreflexiveRelation) Merge.kif 8571-8571 earlier is an instance of irreflexive relation
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9796-9796 meets spatially is an instance of irreflexive relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
        (not
            (?REL ?INST ?INST))))		 Merge.kif 2364-2368 If X is an instance of irreflexive relation, then For all Entity Y: X Y and Y
(=>
    (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

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


(=>
    (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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners