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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntisymmetricRelation
AntisymmetricRelation(antisymmetric relation), عَلاقَة تَنَاظُرِ مُضَاد, Relacao_Anti-simetrica, RelazioneAntisimmetrica, antisymmetric_relation, relation_antisym�trique, saamanjasya-virodhi_sambandha, 反对称关系

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2405-2409
No TPTP formula. May not be expressible in strict first order. Merge.kif 2399-2404
No TPTP formula. May not be expressible in strict first order. Merge.kif 2398-2398 Antisymmetric relation is a subclass of binary relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2371-2371 Symmetric relation is disjoint from antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3191-3191 keyName is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20894-20894 legal guardian is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4167-4167 located is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11705-11705 stored is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21742-21742 subString is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Facebook.kif 546-546 tags is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2386-2386 Asymmetric relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2481-2481 Partial ordering relation is a subclass of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 897-897 "反对称关系" is the printable form of antisymmetric relation in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 584-584 "antisymmetric relation" is the printable form of antisymmetric relation in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 573-573 "relation antisym�trique" is the printable form of antisymmetric relation in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 103-103 "saamanjasya-virodhi sambandha" is the printable form of antisymmetric relation in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 104-104 "RelazioneAntisimmetrica" is the printable form of antisymmetric relation in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 525-525 "Relacao Anti-simetrica" is the printable form of antisymmetric relation in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 309-309 "عَلاقَة تَنَاظُرِ مُضَاد" is the printable form of antisymmetric relation in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 140-140 "antisymmetric relation" is the printable form of antisymmetric relation in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 107-107 """" is the printable form of antisymmetric relation in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2411-2418

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2396 An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3745-3750


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