TreeView Knowledge Base Browser - Computer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Computer

Computer(电脑)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	电脑是电器的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 101-101	AppleComputer 是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2512-2512	EngineControlModule 是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3177-3177	IgnitionControlModule 是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29530-29530	PortableComputer 是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16248-16248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16247-16247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16246-16246

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 203-203	电脑运行的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3534-3534	connectedPeripheral 的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3951-3951	deviceAccount 的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1023	硬件类型的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2129-2129	主机抖动的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 550-550	的主持的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	主持人身份的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 762-762	的IP地址的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1015-1015	CPU的数量的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 188-188	继续前进的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 339-339	能够操作的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1034-1034	的门槛的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4286-4286	trustedDevice 的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 352-352	可以操作的 2 数量是电脑的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 728-728	deviceOS 的 2 数量是电脑的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	如果过程是粉碎的 instance 和实体是电脑的 instance 和那个实体是有点客体的 instance 和那个实体是那个过程的 patient 和 manufacturer 有点客体 and 有认知的主事，然后那个有认知的主事 doesn't desires 有存在另一个实体这样那个另外实体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	如果转移是软体更新的 instance 和实体是那个转移的 patient 和那个实体是电脑的 instance，然后有存在客体这样 objectTransferred 那个转移 and 那个客体和那个客体是电脑程序的 instance 和在那个转移出现的 time 的开始 holdsDuring 和在那个转移出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	如果物理有啟動中的 attribute 和那个物理是电脑的 instance，然后有存在客体，另一个客体， and 和转移这样那个客体是数字数据的 instance 和那个另外客体是操作系统的 instance 和那个转移是数据传输的 instance 和那个转移出现的 time 在那个物理出现的 time 时段内发生和那个转移在那个物理结束和那个客体是那个另外客体的 part 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1820-1827	如果实体是电脑的 instance 和独立模式是那个实体的 attribute 在时间位置 holdsDuring，然后那个实体能够担当源头的角色做通信透过 WirelessNetwork doesn't 在那个时间位置 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	躯体性物体是电脑硬件的 instance 若且唯若有存在另一个躯体性物体这样那个另外躯体性物体是电脑的 instance 和那个躯体性物体是那个另外躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	如果群体是机构的 instance 和计算机和电子产品制造业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是电脑的 instance 或那个实体是机器的 instance 和有存在那个施事体3 和客体这样那个实体是那个施事体3 的 patient 和那个客体是那个施事体3 的 resource 和那个客体是电力的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1723-1728	如果电脑用户是施事体的 attribute，然后有存在客体这样那个客体是电脑的 instance 和那个施事体 uses 那个客体
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	如果过程是上傳的 instance，然后有存在实体和客体这样那个实体是那个过程的 patient 和那个客体是电脑的 instance 和那个客体是那个过程的源头和那个实体是数字数据的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3324-3337	如果群体是 ComputerSystem 的 instance，然后有存在工程组件，另一个工程组件， and 和第三工程组件这样那个工程组件是电脑的 instance 和那个另外工程组件是电脑的 instance 和那个第三工程组件是计算机网络的 instance 和那个工程组件是那个群体的 member 和那个另外工程组件是那个群体的 member 和那个第三工程组件是那个群体的 member 和那个工程组件不 equal 那个另外工程组件和那个工程组件是和那个第三工程组件 connected 和那个另外工程组件是和那个第三工程组件 connected
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4065-4072	如果电脑程序是 DHCPServer 的 instance，然后有存在电脑程序和电脑这样那个电脑是电脑的 instance 和那个电脑程序是 DHCPProgram 的 instance 和那个电脑程序是 running 在那个电脑和那个电脑程序是那个电脑程序的执行 program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	如果过程是 MountingADevice 的 instance，然后有存在实体和另一个实体这样那个实体是电脑的 instance 和那个另外实体是 ComputerIODevice 的 instance 和那个实体是那个过程的 patient 和那个另外实体是那个过程的 patient 和那个实体是和那个另外实体 connected 在那个过程出现的 time holdsDuring 和 connectedPeripheral 那个另外实体 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1311-1318	如果过程是 IT流程的 instance，然后有存在施事体和实体这样那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个施事体是 IT代理商的 instance 和那个实体是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	如果电脑程序是电脑程序的 instance，然后有存在电脑和电脑程序这样那个电脑是电脑的 instance 和那个电脑程序是 running 在那个电脑和那个电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	如果实体是 BusinessCenter 的 instance，然后有存在另一个实体这样那个另外实体是电脑的 instance 和那个另外实体是 located 在那个实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	如果 loggedInDuring 施事体, 用户帐号 and 时距，然后有存在实体和另一个实体这样那个实体是电脑程序的 instance 和那个施事体是那个实体的 agent 和 deviceAccount 那个用户帐号 and 那个另外实体和那个另外实体是电脑的 instance 和那个实体是 running 在那个另外实体和那个另外实体是导致那个实体的 instrument 在那个时距 holdsDuring 的声明 has 可能性的语气

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