TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 730-732
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 727-727	deviceOS 的 1 数量是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	deviceOS 的 2 数量是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 726-726	deviceOS 是二元关系的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 729-729	deviceOS 是可以操作的 subrelation

appearance as argument number 2

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

domainEnglishFormat.kif 65809-65809

antecedent

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

ComputingBrands.kif 734-743

如果 deviceOS 有点客体 and 有点电脑和有点客体I 是那个有点客体的 instance 和有点电脑I 是那个有点电脑的 instance 和 manufacturer 那个有点客体 and 有认知的主事，
然后那个有认知的主事 desires 那个有点电脑I 是第三实体的执行 program 和那个第三实体是 running 在那个有点客体I

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 692-692	deviceOS AppleIPhone1 and IOS 1
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 722-722	deviceOS AppleIPhone11 and IOS 13
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 724-724	deviceOS AppleIPhone11ProMax and IOS 13
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 723-723	deviceOS AppleIPhone11pro and IOS 13
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 694-694	deviceOS AppleIPhone3GS and IOS 3
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 693-693	deviceOS AppleIPhone3g and IOS 2
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 695-695	deviceOS AppleIPhone4 and IOS 4
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 696-696	deviceOS AppleIPhone4s and IOS 5
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 697-697	deviceOS AppleIPhone5 and IOS 6
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 698-698	deviceOS AppleIPhone5c and IOS 7
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 699-699	deviceOS AppleIPhone5s and IOS 7
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 700-700	deviceOS AppleIPhone6 and IOS 8
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 701-701	deviceOS AppleIPhone6plus and IOS 8
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 705-705	deviceOS AppleIPhone6s and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 706-706	deviceOS AppleIPhone6splus and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 711-711	deviceOS AppleIPhone7 and IOS 10
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 712-712	deviceOS AppleIPhone7plus and IOS 10
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 713-713	deviceOS AppleIPhone8 and IOS 11
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 714-714	deviceOS AppleIPhone8plus and IOS 11
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 715-715	deviceOS AppleIPhoneX and AppleIPhoneOS111
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 721-721	deviceOS AppleIPhoneXR and IOS 12
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 719-719	deviceOS AppleIPhoneXS and IOS 12
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 720-720	deviceOS AppleIPhoneXSmax and IOS 12
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 707-707	deviceOS AppleIPhonese and AppleIPhoneOS93

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

KB Term:			Term intersection

English Word: