TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BinaryPredicate ChineseLanguage "这是一个联系两个项目的 Predicate - 它的配价是二。")	chinese_format.kif 2012-2013
(documentation BinaryPredicate EnglishLanguage "A Predicate relating two items - its valence is two.")	Merge.kif 3497-3498
(documentation BinaryPredicate JapaneseLanguage "Predicate は2つの項目に関連する- その価数は2である。")	japanese_format.kif 651-652
(subclass BinaryPredicate BinaryRelation)	Merge.kif 3494-3494	2進述語は 2項関係の subclass では
(subclass BinaryPredicate InheritableRelation)	Merge.kif 3495-3495	2進述語は InheritableRelation の subclass では
(subclass BinaryPredicate Predicate)	Merge.kif 3493-3493	2進述語は述語の subclass では

appearance as argument number 2

(format ChineseLanguage BinaryPredicate "%2 %n 是 %1 的 binary 谓语")	domainEnglishFormat.kif 284-284
(format ChineseTraditionalLanguage BinaryPredicate "%2 %n 是 %1 的 binary 謂語")	domainEnglishFormat.kif 283-283
(format EnglishLanguage BinaryPredicate "%2 is %n a binary predicate of %1")	domainEnglishFormat.kif 282-282
(instance abbreviation BinaryPredicate)	Mid-level-ontology.kif 29131-29131	abbreviation は 2進述語の instance では
(instance absorbedDose BinaryPredicate)	MilitaryProcesses.kif 869-869	absorbedDose は 2進述語の instance では
(instance abstractCounterpart BinaryPredicate)	Merge.kif 6135-6135	abstractCounterpart は 2進述語の instance では
(instance abstractPart BinaryPredicate)	Mid-level-ontology.kif 24435-24435	abstractPart は 2進述語の instance では
(instance abstractionLevel BinaryPredicate)	QoSontology.kif 1744-1744	abstractionLevel は 2進述語の instance では
(instance accessibleFromMenu BinaryPredicate)	ComputerInput.kif 851-851	accessibleFromMenu は 2進述語の instance では
(instance accessibleFromMenuItem BinaryPredicate)	ComputerInput.kif 1137-1137	accessibleFromMenuItem は 2進述語の instance では
(instance accommodationProvider BinaryPredicate)	Hotel.kif 2770-2770	accommodationProvider は 2進述語の instance では
(instance accountAt BinaryPredicate)	FinancialOntology.kif 231-231	accountAt は 2進述語の instance では
(instance accountAtSite BinaryPredicate)	UXExperimentalTerms.kif 624-624	accountAtSite は 2進述語の instance では
(instance accountHolder BinaryPredicate)	FinancialOntology.kif 250-250	accountHolder は 2進述語の instance では
(instance accountInformation BinaryPredicate)	ComputingBrands.kif 4405-4405	accountInformation は 2進述語の instance では
(instance accountNumber BinaryPredicate)	FinancialOntology.kif 3456-3456	accountNumber は 2進述語の instance では
(instance accountPhoneNumber BinaryPredicate)	ComputingBrands.kif 4151-4151	accountPhoneNumber は 2進述語の instance では
(instance accountStatus BinaryPredicate)	FinancialOntology.kif 4016-4016	accountStatus は 2進述語の instance では
(instance accruedInterest BinaryPredicate)	FinancialOntology.kif 2309-2309	accruedInterest は 2進述語の instance では
(instance acquaintance BinaryPredicate)	Merge.kif 16708-16708	acquaintance は 2進述語の instance では
(instance acronym BinaryPredicate)	Mid-level-ontology.kif 29140-29140	acronym は 2進述語の instance では
(instance actedIn BinaryPredicate)	Mid-level-ontology.kif 22362-22362	actedIn は 2進述語の instance では
(instance actionTendency BinaryPredicate)	emotion.kif 155-155	actionTendency は 2進述語の instance では
(instance activityCapability BinaryPredicate)	Hotel.kif 595-595	activityCapability は 2進述語の instance では
(instance adjacentOrientation BinaryPredicate)	Hotel.kif 940-940	adjacentOrientation は 2進述語の instance では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain contraryAttributeWRT 3 BinaryPredicate)

ComputerInput.kif 19-19

contraryAttributeWRT の数値 3 引数は 2進述語の instance では

antecedent

(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Merge.kif 8362-8369	エンティティーは 2進述語の instance ではエンティティーは空間的関係の instance では物理は物理の instance では物理は物理の instance ではエンティティー物理 and 物理物理の time の existence は物理の time の existence と overlaps
(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Merge.kif 3500-3502	関係は 2進述語の instance では関係は 2 の argument(s) を %&has

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: