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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(relation binaire)

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 Relation binaire est une sous-classe de InheritableRelation
(subclass BinaryRelation Relation) Merge.kif 2228-2228 Relation binaire est une sous-classe de relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2156-2157 Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable
(instance angleOfFire BinaryRelation) MilitaryDevices.kif 249-249 angleOfFire est une instance de relation binaire
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 255-255 catalyst est une instance de relation binaire
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS est une instance de relation binaire
(instance hardwareType BinaryRelation) QoSontology.kif 1130-1130 hardwareType est une instance de relation binaire
(instance hasAccount BinaryRelation) QoSontology.kif 2201-2201 hasAccount est une instance de relation binaire
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4414-4414 recoveryKey est une instance de relation binaire
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3857-3857 softwareVersion est une instance de relation binaire
(instance suffers BinaryRelation) Mid-level-ontology.kif 31499-31499 suffers est une instance de relation binaire
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2288-2288 Relation antisym�trique est une sous-classe de relation binaire
(subclass BinaryPredicate BinaryRelation) Merge.kif 3479-3479 Pr�dicat binaire est une sous-classe de relation binaire
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18287-18287 EconomicRelation est une sous-classe de relation binaire
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2345-2345 Relation intransitive est une sous-classe de relation binaire
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2245-2245 Relation irr�flexive est une sous-classe de relation binaire
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2235-2235 Relation r�flexive est une sous-classe de relation binaire
(subclass SymmetricRelation BinaryRelation) Merge.kif 2256-2256 Relation sym�trique est une sous-classe de relation binaire
(subclass TransitiveRelation BinaryRelation) Merge.kif 2329-2329 Relation transitive est une sous-classe de relation binaire
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2306-2306 Relation trichotomique est une sous-classe de relation binaire
(subclass UnaryFunction BinaryRelation) Merge.kif 3359-3359 Function unaire est une sous-classe de relation binaire
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892 Function unaire est une sous-classe de relation binaire
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986 Function unaire est une sous-classe de relation binaire
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568 Function unaire est une sous-classe de relation binaire
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98 Function unaire est une sous-classe de relation binaire
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101 Function unaire est une sous-classe de relation binaire

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 Le nombre 1 argument de equivalenceRelationOn est une instance de relation binaire
(domain inverse 1 BinaryRelation) Merge.kif 111-111 Le nombre 1 argument de inverse est une instance de relation binaire
(domain inverse 2 BinaryRelation) Merge.kif 112-112 Le nombre 2 argument de inverse est une instance de relation binaire
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3642-3642 Le nombre 1 argument de partialOrderingOn est une instance de relation binaire
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3603-3603 Le nombre 1 argument de reflexiveOn est une instance de relation binaire
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3659-3659 Le nombre 1 argument de totalOrderingOn est une instance de relation binaire
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3681-3681 Le nombre 1 argument de trichotomizingOn est une instance de relation binaire


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