Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  IrreflexiveRelation

Sigma KEE - IrreflexiveRelation

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
非自反关系
Relation ?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。
Relationships      
Parents 二元关系 BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
Children 非对称关系A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


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