KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
IntentionalRelation23Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。...^
AsymmetricRelation289%BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。^
InheritableRelation1765Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    PropositionalAttitude7Agent が Proposition の認識を 持っている IntentionalRelations IR の Class。^
        doubts.^
        disapproves.^
        desires.(desires ?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。　注１：エージェント が望むも...^
        considers.(considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。^
        believes.信念の認識的述語。(believes ?AGENT ?FORMULA) とは、AGENT が?FORMULA によって表される命題を信じていることを意味する。^
        knows.知ることの認識的述語。 (knows ?AGENT ?FORMULA) とは、 ?AGENT が ?FORMULA によって表される命題を知っていることを意味する。 knows は意識を伴う...^
        says.^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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