Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

じㄧ计 (UnaryFunction)

The Class of Functions that require a single argument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  

Superclass(es)

[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  闽玒  
is subclass of
  虫闽玒  
is subclass of
  ㄧ计  
is subclass of
[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  闽玒  
is subclass of
  じ闽玒  
is subclass of
is subclass of
  じㄧ计  

Instance(s)

经栋ㄧ计  タㄧ计  はㄧ计  磞瓃ㄧ计  絛瞅ㄧ计  ┪礛瞯ㄧ计  ㄧ计  疭┦ㄧ计  荡癸ㄧ计  ┓緇┒  ┓タ┒  ┓タち  ㄧ计  緇┒ㄧ计  虫ㄧ计  ㄧ计  店计ㄧ计  俱计キよㄧ计  だㄧ计  Τ瞶计ㄧ计  龟计ㄧ计  计ㄧ计  俱计ㄧ计  タ璽腹ㄧ计  タ┒ㄧ计  キよㄧ计  タちㄧ计  计ㄧ计  玡计ㄧ计  が干ㄧ计  阀て羛栋ㄧ计  阀てㄧ计  璸计ㄧ计  癬﹍竊翴ㄧ计  沧竊翴ㄧ计  程竊翴ㄧ计  程竊翴ㄧ计  隔畖秖ㄧ计  ユ隔畖ㄧ计  程ユ隔畖ㄧ计  璸ㄧ计  κ窾璸ㄧ计  货璸ㄧ计  璸ㄧ计  だぇ璸ㄧ计  κ窾だぇ璸ㄧ计  ーμㄧ计  だぇ璸ㄧ计  计ㄧ计  癩玻ㄧ计  丁秨﹍ㄧ计  丁挡ㄧΑ  丁ㄧ计  筁丁ㄧΑ  程筁丁ㄧ计  丁ゼㄓㄧΑ  程ゼㄓ丁ㄧ计  ㄧ计  砰ㄧ计  ブㄧ计  舱麓ㄧ计 

Subclass(es)

じ﹚ㄧ计秖  癸ㄧ计 

Coordinate term(s)

は癸嘿闽玒  じㄧ计  じ瓃迭  じ闽玒  à︹  硈尿ㄧ计  ㄧ计  ㄧ计秖  種瓜闽玒  獶患闽玒  獶はō闽玒  ㄆ旧菌祘  瓃迭  ┪礛瞯闽玒  ㏑肈篈  じㄧ计  じ瓃迭  じ闽玒  きじ瓃迭  きじ闽玒  はō闽玒  籔秖闽玒  虫闽玒  丁闽玒  癸嘿闽玒  丁闽玒  じㄧ计  じ瓃迭  じ闽玒  患闽玒  à闽玒 

Axioms (2)

If function 琌 じㄧ计龟ㄒ, then function %&Τ 阶じ(s) . 
(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION UnaryFunction))
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (instance
                        (AssignmentFn ?FUNCTION ?INST)
                        ?CLASS))))