|
|
   UnaryFunction
|
|
|
| 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 3245-3246 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3242-3242 | Unary function is a subclass of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3241-3241 | Unary function is a subclass of function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3243-3243 | Unary function is a subclass of inheritable relation |
| 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 3427-3427 | Average buying price is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3470-3470 | Average buying price is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4577-4577 | Absolute value is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2245-2245 | Account is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 220-220 | Address is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8301-8301 | AfternoonFn is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 86-86 | AgentOfOrganismFn is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2914-2914 | Agreement organization is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3395-3395 | Gross merchandise bought in auctions is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 859-859 | Available for military service male is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3159-3159 | Average function is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 855-855 | Back is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7579-7579 | Begin is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5630-5630 | Begin node is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | People.kif 672-672 | BeliefGroupMemberFn is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3115-3115 | Bid count is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3082-3082 | Bought items is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1323-1323 | CPU utilization is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1480-1480 | Cabinet is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5225-5225 | Cardinality is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4598-4598 | Ceiling is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7250-7250 | Center of circle is an instance of unary function |
| 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 3248-3250 |
|
|
|
|