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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(2項関係)

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 2246-2248
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") japanese_format.kif 451-452
(subclass BinaryRelation InheritableRelation) Merge.kif 2244-2244 2項関係InheritableRelationsubclass では
(subclass BinaryRelation Relation) Merge.kif 2243-2243 2項関係関係subclass では

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2171-2172 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed
(instance angleOfFire BinaryRelation) MilitaryDevices.kif 249-249 angleOfFire2項関係instance では
(instance catalyst BinaryRelation) VirusProteinAndCellPart.kif 255-255 catalyst2項関係instance では
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS2項関係instance では
(instance hardwareType BinaryRelation) QoSontology.kif 1130-1130 hardwareType2項関係instance では
(instance hasAccount BinaryRelation) QoSontology.kif 2201-2201 hasAccount2項関係instance では
(instance recoveryKey BinaryRelation) ComputingBrands.kif 4414-4414 recoveryKey2項関係instance では
(instance softwareVersion BinaryRelation) ComputingBrands.kif 3857-3857 softwareVersion2項関係instance では
(instance suffers BinaryRelation) Mid-level-ontology.kif 31497-31497 suffers2項関係instance では
(subclass AntisymmetricRelation BinaryRelation) Merge.kif 2303-2303 反対称関係2項関係subclass では
(subclass BinaryPredicate BinaryRelation) Merge.kif 3494-3494 2進述語2項関係subclass では
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 18287-18287 EconomicRelation2項関係subclass では
(subclass IntransitiveRelation BinaryRelation) Merge.kif 2360-2360 非推移関係2項関係subclass では
(subclass IrreflexiveRelation BinaryRelation) Merge.kif 2260-2260 非反射関係2項関係subclass では
(subclass ReflexiveRelation BinaryRelation) Merge.kif 2250-2250 反射関係2項関係subclass では
(subclass SymmetricRelation BinaryRelation) Merge.kif 2271-2271 対称関係 2項関係subclass では
(subclass TransitiveRelation BinaryRelation) Merge.kif 2344-2344 推移関係2項関係subclass では
(subclass TrichotomizingRelation BinaryRelation) Merge.kif 2321-2321 三分関係2項関係subclass では
(subclass UnaryFunction BinaryRelation) Merge.kif 3374-3374 1変数関数2項関係subclass では
(termFormat ChineseLanguage BinaryRelation "二元关系") chinese_format.kif 892-892 1変数関数2項関係subclass では
(termFormat EnglishLanguage BinaryRelation "binary relation") english_format.kif 986-986 1変数関数2項関係subclass では
(termFormat FrenchLanguage BinaryRelation "relation binaire") french_format.kif 568-568 1変数関数2項関係subclass では
(termFormat Hindi BinaryRelation "dvi-aadhaarI sambandha") terms-hindi.txt 98-98 1変数関数2項関係subclass では
(termFormat ItalianLanguage BinaryRelation "RelazioneBinaria") terms-it.txt 101-101 1変数関数2項関係subclass では

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 3720-3720 equivalenceRelationOn の数値 1 引数は 2項関係instance では
(domain inverse 1 BinaryRelation) Merge.kif 111-111 inverse の数値 1 引数は 2項関係instance では
(domain inverse 2 BinaryRelation) Merge.kif 112-112 inverse の数値 2 引数は 2項関係instance では
(domain partialOrderingOn 1 BinaryRelation) Merge.kif 3657-3657 partialOrderingOn の数値 1 引数は 2項関係instance では
(domain reflexiveOn 1 BinaryRelation) Merge.kif 3618-3618 reflexiveOn の数値 1 引数は 2項関係instance では
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3674-3674 totalOrderingOn の数値 1 引数は 2項関係instance では
(domain trichotomizingOn 1 BinaryRelation) Merge.kif 3696-3696 trichotomizingOn の数値 1 引数は 2項関係instance では


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