UnaryFunction(unary function)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1488-1488 Cabinet is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5532-5532 Cardinality is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4809-4809 Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7706-7706 Center of circle is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27443-27443 Level plane is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9205-9205 Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5500-5500 Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 637-637 Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2832-2832 Conversion rate is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4827-4827 Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31643-31643 Covering fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 284-284 Currency is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6095-6095 Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 5248-5248 Datum is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 18662-18662 Dead fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 18424-18424 Dead or missing body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Economy.kif 6787-6787 Demand is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32563-32563 Demonym fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4836-4836 Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8627-8627 Descendants is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5565-5565 Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 3307-3307 Document is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11307-11307 Edema is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1646-1646 Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 2252-2252 Elevation high point 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