TreeView Knowledge Base Browser - AttrFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AttrFn

AttrFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1771-1772
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 326-327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1778-1778	域 attr, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1777-1777	域子類 attr, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1774-1774	例 attr and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1775-1775	例 attr and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	範圍子類 attr and Object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 219-219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 218-218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9012-9012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9011-9011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9010-9010

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	等於 Object and Object 跟 Attribute 的 attr 例 Object and Object 例 Object and Object 子類 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	例 Attribute and 職業角色 Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action Process TimePosition, AutonomousAgent and AutonomousAgentT 例 Process and CognitiveAgent 持有期間 TimePosition and attribute Process and Attribute 例 AutonomousAgent and Process agent Process and AutonomousAgent 時間 AutonomousAgent and AutonomousAgentT 時間部分 AutonomousAgentT and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	例 Attribute and OccupationalDomain 例 Physical and CognitiveAgent 跟 Attribute 的 attr Process Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action 有目的 Physical and entity 例 entity and Process agent Physical and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1795	例 Object and Object 跟 Attribute 的 attr 例 Object and Object attribute Object and Attribute

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 155-157	例 Entity and 微分方程例 Entity and 方程跟微分屬性的 attr
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	例 Attribute and OccupationalDomain 例 Physical and CognitiveAgent 跟 Attribute 的 attr Process Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action 有目的 Physical and entity 例 entity and Process agent Physical and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1797-1802	例 Object and Object attribute Object and Attribute 例 Object and Object 跟 Attribute 的 attr
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22254-22258	例 Attribute and 職業角色 Process Process 是 CognitiveAgent 跟 Attribute 的 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