BinaryRelation - Sigma Knowledge base Browser

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

appearance as argument number 2

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2147-2148	関係は 2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係に disjointly decomposed %n
(instance actionTendency BinaryRelation)	emotion.kif 155-155	actionTendency は 2項関係の instance では %n
(instance burnInPeriod BinaryRelation)	UXExperimentalTerms.kif 4505-4505	burnInPeriod は 2項関係の instance では %n
(instance catalogItem BinaryRelation)	Catalog.kif 44-44	catalogItem は 2項関係の instance では %n
(instance catalyst BinaryRelation)	VirusProteinAndCellPart.kif 206-206	catalyst は 2項関係の instance では %n
(instance categoryID BinaryRelation)	UXExperimentalTerms.kif 203-203	categoryID は 2項関係の instance では %n
(instance containsFormula BinaryRelation)	Law.kif 20-20	containsFormula は 2項関係の instance では %n
(instance deviceOS BinaryRelation)	ComputingBrands.kif 726-726	deviceOS は 2項関係の instance では %n
(instance emotionTendency BinaryRelation)	emotion.kif 139-139	emotionTendency は 2項関係の instance では %n
(instance experimentID BinaryRelation)	UXExperimentalTerms.kif 4219-4219	experimentID は 2項関係の instance では %n
(instance hardwareType BinaryRelation)	QoSontology.kif 1021-1021	hardwareType は 2項関係の instance では %n
(instance hazardous BinaryRelation)	Geography.kif 5772-5772	hazardous は 2項関係の instance では %n
(instance inhibits BinaryRelation)	Law.kif 181-181	inhibits は 2項関係の instance では %n
(instance listingBidder BinaryRelation)	UXExperimentalTerms.kif 123-123	listingBidder は 2項関係の instance では %n
(instance listingBuyer BinaryRelation)	UXExperimentalTerms.kif 92-92	listingBuyer は 2項関係の instance では %n
(instance listingSeller BinaryRelation)	UXExperimentalTerms.kif 56-56	listingSeller は 2項関係の instance では %n
(instance locationMeasuringList BinaryRelation)	Weather.kif 1767-1767	locationMeasuringList は 2項関係の instance では %n
(instance measuringListDuration BinaryRelation)	Weather.kif 1876-1876	measuringListDuration は 2項関係の instance では %n
(instance measuringListInterval BinaryRelation)	Weather.kif 1858-1858	measuringListInterval は 2項関係の instance では %n
(instance measuringResult BinaryRelation)	Weather.kif 1804-1804	measuringResult は 2項関係の instance では %n
(instance medicine BinaryRelation)	Mid-level-ontology.kif 9591-9591	medicine は 2項関係の instance では %n
(instance permits BinaryRelation)	Law.kif 33-33	permits は 2項関係の instance では %n
(instance physicalEnd BinaryRelation)	Merge.kif 17818-17818	physicalEnd は 2項関係の instance では %n
(instance prohibits BinaryRelation)	Law.kif 55-55	prohibits は 2項関係の instance では %n
(instance punishes BinaryRelation)	Law.kif 137-137	punishes は 2項関係の instance では %n

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 3692-3692	equivalenceRelationOn の数値 1 引数は 2項関係の instance では %n
(domain inverse 1 BinaryRelation)	Merge.kif 111-111	inverse の数値 1 引数は 2項関係の instance では %n
(domain inverse 2 BinaryRelation)	Merge.kif 112-112	inverse の数値 2 引数は 2項関係の instance では %n
(domain partialOrderingOn 1 BinaryRelation)	Merge.kif 3629-3629	partialOrderingOn の数値 1 引数は 2項関係の instance では %n
(domain reflexiveOn 1 BinaryRelation)	Merge.kif 3590-3590	reflexiveOn の数値 1 引数は 2項関係の instance では %n
(domain totalOrderingOn 1 BinaryRelation)	Merge.kif 3646-3646	totalOrderingOn の数値 1 引数は 2項関係の instance では %n
(domain trichotomizingOn 1 BinaryRelation)	Merge.kif 3668-3668	trichotomizingOn の数値 1 引数は 2項関係の instance では %n

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

KB Term:			Term intersection

English Word: