TreeView Knowledge Base Browser - typicalAction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - typicalAction

typicalAction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22820-22821
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22815-22815	typicalAction 的 1 数量是过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22816-22816	typicalAction 的 2 数量是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22817-22817	typicalAction 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22818-22818	typicalAction 和主事是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22819-22819	typicalAction 和 typicallyContainsTemporalPart 是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4842-4842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4841-4841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4840-4840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65961-65961

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22259-22272	如果属性是职业角色的 instance 和有点过程是有认知的主事跟那个属性的 attr 的 typical action ，然后有存在另一个过程，时间位置,，，施事体， and 和那个施事体T 这样那个另外过程是有认知的主事的 instance 和那个属性是那个另外过程的 attribute 在那个时间位置 holdsDuring 和那个施事体是有点过程的 instance 和那个施事体是那个另外过程的 agent 和那个施事体在那个施事体T 是存在和那个施事体T 时段是那个时间位置时段的一 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22831-22848	如果有点过程是有点施事体的 typical action 和实体是有点施事体的 instance 和实数 equal 有存在另一个实体这样那个另外实体是有点过程的 instance 和那个实体是那个另外实体的 agent 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个有点过程的 instance 和那个实体是那个第三实体的 agent 的机率，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22823-22829	如果有点过程是有点施事体的 typical action ，然后有存在另一个过程和另一个施事体这样那个另外过程是有点过程的 instance 和那个另外施事体是有点施事体的 instance 和那个另外施事体是那个另外过程的 agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22279-22292	如果属性是 OccupationalDomain 的 instance 和物理是有认知的主事跟那个属性的 attr 的 instance，然后有存在有点过程这样有点过程是有认知的主事跟那个属性的 attr 的 typical action 和那个物理的目的是有存在实体这样那个实体是那个有点过程的 instance 和那个实体是那个物理的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22253-22257	如果属性是职业角色的 instance，然后有存在有点过程这样有点过程是有认知的主事跟那个属性的 attr 的 typical action

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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