TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1994-1994
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3362-3363
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 628-629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3359-3359	一元函数是二元关系的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3358-3358	一元函数是函数的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3360-3360	一元函数是可继承的关系的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2559-2559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2558-2558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2557-2557
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3220-3220	ABPFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3265-3265	ASPFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4760-4760	绝对值函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2315-2315	帐户是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 222-222	地址是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8832-8832	AfternoonFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 86-86	AgentOfOrganismFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3055-3055	协议组织是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5257-5257	ArcCosineFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5267-5267	ArcSineFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5247-5247	ArcTangentFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3191-3191	AuctionGMBFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 864-864	可用于兵役男性是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3270-3270	AverageFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 897-897	挪后函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7980-7980	开始函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5940-5940	节点开端函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 670-670	BeliefGroupMemberFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2910-2910	BidCountFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6230-6230	BodyAreaFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2876-2876	BoughtItemsFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1318-1318	CPU利用率是一元函数的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3365-3367

如果关系是一元函数的 instance，
然后那个关系 % 有 1 Argument

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: