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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(dvi-aadhaarI sambandha)

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


(documentation BinaryRelation ChineseLanguage " BinaryRelation 是只有在关系联系两样东西的时候 才算是真，框架理论以槽代表 BinaryRelation。") chinese_format.kif 1831-1832
(documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") Merge.kif 2231-2233
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2229-2229
(subclass BinaryRelation Relation) Merge.kif 2228-2228

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2156-2157
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 255-255
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726
(instance hardwareType BinaryRelation) QoSontology.kif 1130-1130
(instance hasAccount BinaryRelation) QoSontology.kif 2201-2201
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4414-4414
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3857-3857
(instance suffers BinaryRelation) Mid-level-ontology.kif 31256-31256
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2288-2288
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18307-18307
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2345-2345
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2245-2245
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2235-2235
(subclass SymmetricRelation BinaryRelation) Merge.kif 2256-2256
(subclass TransitiveRelation BinaryRelation) Merge.kif 2329-2329
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2306-2306
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101
(termFormat JapaneseLanguage BinaryRelation "2項関係") japanese_format.kif 2253-2253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3705-3705
(domain inverse 1 BinaryRelation) Merge.kif 111-111
(domain inverse 2 BinaryRelation) Merge.kif 112-112
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3642-3642
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3603-3603
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3659-3659
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681


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 is open source software produced by Articulate Software and its partners