No TPTP formula. May not be expressible in strict first order.	Merge.kif 15506-15506	版本函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4816-4816	次幂函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 393-393	女性出生时的预期寿命 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3721-3721	财政年度开始 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3156-3156	GPIFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3123-3123	GPSFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6912-6912	GeographicPartTypeFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6052-6052	图路函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	时函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5453-5453	交集函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6581-6581	间隔函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5580-5580	组成类别函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 296-296	出生时的预期寿命 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4549-4549	LiftFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2616-2616	线路 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3070-3070	连接表列函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2975-2975	找出表列顺序的函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4974	对数函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 345-345	男性出生时的预期寿命 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4982-4982	较大值函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6030-6030	最高加权路径函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1891-1891	MealAttributeFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2221-2221	10分钟平均地面风速 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2326-2326	1分钟平均地面风速 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2291-2291	2分钟平均地面风速 是 二元函数 的 instance
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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