| 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 3357-3358 | |
| 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 3354-3354 | 子類 UnaryFunction and BinaryRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3353-3353 | 子類 UnaryFunction and Function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3355-3355 | 子類 UnaryFunction and 可繼承的關係 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2555-2555 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2554-2554 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2553-2553 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3220-3220 | 例 ABPFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3265-3265 | 例 ASPFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4754-4754 | 例 絕對值 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2329-2329 | 例 帳戶 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 222-222 | 例 地址 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8874-8874 | 例 AfternoonFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 86-86 | 例 AgentOfOrganismFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3043-3043 | 例 協議組織 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5251-5251 | 例 ArcCosineFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5261-5261 | 例 ArcSineFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5241-5241 | 例 ArcTangentFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3191-3191 | 例 AuctionGMBFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 922-922 | 例 可用於兵役男性 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3265-3265 | 例 AverageFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 890-890 | 例 背部 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8022-8022 | 例 開始 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | 例 開始節點 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | People.kif 670-670 | 例 BeliefGroupMemberFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2910-2910 | 例 BidCountFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6214-6214 | 例 BodyAreaFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2876-2876 | 例 BoughtItemsFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1424-1424 | 例 CPU利用率 and UnaryFunction |
| 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 3360-3362 |
|
|
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