UnaryFunction(unary function)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7762-7762 Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5193-5193 Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 660-660 Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3039-3039 Conversion rate is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4616-4616 Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27940-27940 CoveringFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 282-282 Currency is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5766-5766 Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 4557-4557 Datum is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 233-233 DeadFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28806-28806 DemonymFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4625-4625 Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7151-7151 Descendants is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5250-5250 Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 2870-2870 Document is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1638-1638 Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1906-1906 Elevation high point is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1885-1885 Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2033-2033 EmailDomainPartFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2027-2027 EmailLocalPartFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7607-7607 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5641-5641 End node is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8398-8398 EveningFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1144-1144 Exclusive fishing zone is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1274-1274 Executive branch is an instance of unary function

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