Paper - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3549-3559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 653-653
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3560-3560	子類紙 and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44286-44286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44285-44285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44284-44284

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3574-3582	例 Entity and 紙模態屬性有目的 Entity and entity 例 entity and Text 部分 entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	例 Entity and 紙 Process Object and Process 例 Process and Making 例 Object and 纖維素例 Process and Compressing 資源 Process and Object 結果 Process and Entity 子過程 Process and Process 患者 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2728	例 Collection and Organization attribute Collection and 造紙業 AutonomousAgent Process and CorpuscularObject 例 AutonomousAgent and 行業會員 AutonomousAgent and Collection 例 Process and Manufacture agent Process and AutonomousAgent 患者 Process and CorpuscularObject 材料紙 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3125-3129	例 Object and 牆紙部分 Object and Object 例 Object and 紙
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3589-3594	例 Object and 貨幣單 Object 例 Object and 紙部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14871-14873	例 CorpuscularObject and 節日賀卡材料紙 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17129-17131	例 CorpuscularObject and 紙牌材料紙 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4230-4237	例 Object and 膠帶 Object 部分 Object and Object 例 Object and 紙例 Object and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18190-18198	例 Physical and PaperShredder 有目的 Physical and entity entity 例 entity and Cutting 儀器 entity and Physical 例 entity and 紙患者 entity and entity

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18202-18219

降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀患者 ?READ and ?INFO 早期何時 ?CUT and 何時 ?READ